
<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:44, Juha Manninen wrote:

    <blockquote

cite="mid:CAPN1EhBXeL5Yb2KY9h9w-KSeeadQDrri+HBWVabqndGVJqO+mg@mail.gmail.com"

      type="cite">2012/3/4 Martin <span dir="ltr"><<a

          moz-do-not-send="true" href="mailto:lazarus@mfriebe.de">lazarus@mfriebe.de</a>></span><br>

      <div class="gmail_quote">

        <blockquote class="gmail_quote" style="margin:0 0 0

          .8ex;border-left:1px #ccc solid;padding-left:1ex">

          <div bgcolor="#FFFFFF" text="#000000">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>

          </div>

        </blockquote>

        <div><br>

          Thanks for the positive feedback.<br>

          This filter has one more nice feature: it supports translated

          IDEs automatically because it reads the captions.<br>

        </div>

      </div>

    </blockquote>

    <br>

    <br>

    You removed he check what color a control was before highlight.<br>

    <br>

    Now links loose their color.<br>

    <br>

    <br>

  </body>

</html>