<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
I'm not seeing "<" or ">" on the buttons.
<div class=""><br class="">
</div>
<div class="">-David<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On Feb 20, 2021, at 3:07 PM, Kornel Benko <<a href="mailto:kornel@lyx.org" class="">kornel@lyx.org</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div class="">Am Sat, 20 Feb 2021 19:53:20 +0000<br class="">
schrieb David Pesetsky <<a href="mailto:pesetsk@mit.edu" class="">pesetsk@mit.edu</a>>:<br class="">
<br class="">
<blockquote type="cite" class="">Trying it out on 2.4.0 Alpha 3, it seems to work very well now, thank you again.  But I<br class="">
am seeing two "Find" and two "Replace" buttons.  Not a functionality problem — they<br class="">
both work — but presumably some kind of error.<br class="">
</blockquote>
<br class="">
You mean probably ' < Find ' and ' Find > ' (means find backward and find forward)<br class="">
Same for 'replace'<br class="">
<br class="">
<blockquote type="cite" class="">-David<br class="">
<br class="">
On Feb 12, 2021, at 10:24 AM, David Pesetsky <<a href="mailto:pesetsk@mit.edu" class="">pesetsk@mit.edu</a><<a href="mailto:pesetsk@mit.edu" class="">mailto:pesetsk@mit.edu</a>>><br class="">
wrote:<br class="">
<br class="">
Pleased indeed, thank you!!!<br class="">
<br class="">
On Feb 12, 2021, at 10:14 AM, Jürgen Spitzmüller <<a href="mailto:spitz@lyx.org" class="">spitz@lyx.org</a><<a href="mailto:spitz@lyx.org" class="">mailto:spitz@lyx.org</a>>><br class="">
wrote:<br class="">
<br class="">
Am Freitag, dem 12.02.2021 um 14:53 +0000 schrieb David Pesetsky:<br class="">
If you click on the document window, the "find next" key (⌘-G ) will<br class="">
do its job and get you to the next occurrence of the search string.<br class="">
Without that, however, if focus remains in the Find window, nothing<br class="">
happens at all. That is what is non-intuitive.  In most other apps,<br class="">
You can search for what you want with ⌘-F, and then simply pressing<br class="">
⌘-G gets you the next occurrence, with no other steps necessary.<br class="">
<br class="">
You might be pleased to hear that your message inspired me to go ahead<br class="">
and fix that for 2.4.0 this morning.<br class="">
<br class="">
Jürgen<br class="">
<br class="">
</blockquote>
<br class="">
<span class="Apple-tab-span" style="white-space:pre"></span>Kornel<br class="">
-- <br class="">
lyx-users mailing list<br class="">
<a href="mailto:lyx-users@lists.lyx.org" class="">lyx-users@lists.lyx.org</a><br class="">
http://lists.lyx.org/mailman/listinfo/lyx-users<br class="">
</div>
</div>
</blockquote>
</div>
<br class="">
<div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
-- <br class="">
David Pesetsky<span class="Apple-tab-span" style="white-space: pre;"> </span>[<a href="mailto:pesetsk@mit.edu" class="">pesetsk@mit.edu</a>]<br class="">
Department of Linguistics and Philosophy<br class="">
32-D862 Massachusetts Institute of Technology<br class="">
77 Massachusetts Avenue<br class="">
Cambridge, MA 02139 USA<br class="">
(617) 253-0957 office           (617) 253-5017 fax <br class="">
<a href="http://web.mit.edu/linguistics/www/pesetsky.home.html" class="">http://web.mit.edu/linguistics/www/pesetsky.home.html</a></div>
</div>
</div>
<br class="">
</div>
</body>
</html>