<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 03/03/2012 23:02, Juha Manninen wrote:
<blockquote
cite="mid:CAPN1EhABo8_RtfDLPPOACtAEPZKfuT6vd8jpycyVmu_2kYUMgw@mail.gmail.com"
type="cite">
<div class="gmail_quote">2012/3/4 Martin <span dir="ltr"><<a
moz-do-not-send="true" href="mailto:lazarus@mfriebe.de">lazarus@mfriebe.de</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">Why do we need SynEdit?<br>
</div>
</blockquote>
<div><br>
I thought it is used in some options frames. I am not sure.<br>
<br>
</div>
<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt
0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div class="im">
<blockquote type="cite">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0pt 0pt
0pt 0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex"> Hints are not
searched<br>
</blockquote>
</div>
<br>
That would be confusing wouldn't it?<br>
</blockquote>
</div>
Why?<br>
</div>
</blockquote>
</div>
<br>
Hints can be long and there would be no immediate feedback about
what triggered the filter's match.<br>
The user could think the filter found pages that it should not
find.<br>
Besides, the filter would not be so useful any more for words and
phrases that are used in many places.<br>
</blockquote>
<br>
Yes, hints can not be highlighted.<br>
But hints can contain additional good words to search for.<br>
<br>
Searching for very common stuff is a problem anyway. Typing "e" in
the filter returns a lot.<br>
<br>
Alternatively, each page could define keywords.<br>
<br>
The feature is already great. And I do by no means want to make it
look like I do not like it. I like it a lot.<br>
I just expect users may not search or the terms we use for
description...<br>
We anyway have very few hints currently...<br>
<br>
MAybe wait for feedback first, let users tell us what they type to
search....<br>
</body>
</html>