<div class="gmail_quote">2012/3/4 Martin <span dir="ltr"><<a 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><br>Juha<br><br>