<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">On 2/12/21 7:43 PM, Joel Kulesza wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAAGOGw_Mszp=KfMWByFaKGmU_ecv2iHXCuuS6DvzQpBWbaVguA@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <div dir="ltr">
          <div dir="ltr"><br>
          </div>
          <br>
          <div class="gmail_quote">
            <div dir="ltr" class="gmail_attr">On Fri, Feb 12, 2021 at
              8:24 AM David Pesetsky <<a
                href="mailto:pesetsk@mit.edu" moz-do-not-send="true">pesetsk@mit.edu</a>>
              wrote:<br>
            </div>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
              <div
                style="word-wrap:break-word;line-break:after-white-space">
                Pleased indeed, thank you!!!<br>
                <div><br>
                  <blockquote type="cite">
                    <div>On Feb 12, 2021, at 10:14 AM, Jürgen
                      Spitzmüller <<a href="mailto:spitz@lyx.org"
                        target="_blank" moz-do-not-send="true">spitz@lyx.org</a>>
                      wrote:</div>
                    <br>
                    <div>
                      <div>Am Freitag, dem 12.02.2021 um 14:53 +0000
                        schrieb David Pesetsky:<br>
                        <blockquote type="cite">If you click on the
                          document window, the "find next" key (⌘-G )
                          will<br>
                          do its job and get you to the next occurrence
                          of the search string.<br>
                           Without that, however, if focus remains in
                          the Find window, nothing<br>
                          happens at all. That is what is
                          non-intuitive.  In most other apps,<br>
                          You can search for what you want with ⌘-F, and
                          then simply pressing<br>
                          ⌘-G gets you the next occurrence, with no
                          other steps necessary.<br>
                        </blockquote>
                        <br>
                        You might be pleased to hear that your message
                        inspired me to go ahead<br>
                        and fix that for 2.4.0 this morning.<br>
                        <br>
                        Jürgen</div>
                    </div>
                  </blockquote>
                </div>
              </div>
            </blockquote>
            <div>Seconding David's remarks.  I'm pleased indeed and just
              tested with master at 400cb1b.  I look forward to a
              rebinding of F3 -> Cmd-G, but until then, this is still
              a welcome step forward.</div>
          </div>
        </div>
      </div>
    </blockquote>
    <p>It should already be like that on OSX, if you are using mac.bind.</p>
    <p>Riki</p>
    <br>
  </body>
</html>