On Fri, Mar 2, 2018 at 12:31 AM, 'Karsten Wolf' via leo-editor <
leo-editor@googlegroups.com> wrote:

​[5.7 final] seems to work on OSX.
> Two minor issues which both started with the previous update a few weeks
> ago:

​Which update are you talking about?  5.7b1 or b2?​

- searching and replacing with "Replace-then-Find" does not replace in
> headlines. After finding an occurrence in a headline Leo switches to the
> log with "no text selected".

​Thanks for this report. I have just created #757
<https://github.com/leo-editor/leo-editor/issues/757> for this issue. ​

- Leo annoys me with startup tips I didn't ask for. A 5 minute
> investigation did not find any clue how to switch them off.

​A search for "tip" in leoSettings.leo will show you:

   @bool show-tips = True​

Set this to False and the tips will go away.

Depending on installation, the tips dialog will have a "Show Tips on
Startup" checkbox.  Unchecking that box will clear this setting.

Keep up the good work.



You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to