>
> When I clicked the checkbox the pane said "Modified". How do I save the 
> settings?


After 1.5 seconds it should be replaced by auto-save message, in grey, I'm 
going to test it under windows too... 

Plain arrow keys select the proper node, but leave a dotted outline 
> surrounding the parent node when moving from the parent to the child. This 
> is a bit annoying.
>

Thanks I'm also going to test it under windows for I dont see what you 
describe under linux.

 (btw, under windows, for illustration purposes, alt+printscreen captures 
only the current window and places it in the clipboard, for direct 
copy/paste in posts/replys in here in the google groups forums.)

Félix

On Wednesday, July 8, 2020 at 3:48:37 PM UTC-4, Edward K. Ream wrote:
>
> On Wed, Jul 8, 2020 at 1:54 PM Félix <[email protected] <javascript:>> 
> wrote:
>
>> Here's a quick list of most of the new features. Going to make little 
>> touch-ups and cleanup before merging to master.
>>
>> *New option setting : Use Leo Tree Browsing. (find better name!)*
>>
>
> When I clicked the checkbox the pane said "Modified". How do I save the 
> settings?
>
> *Alt+Arrow keys: Direct Tree Navigation.*
>> *Arrow Keys: (with 'Leo-tree-browse' option) Direct Tree navigation*
>>
>
> There is a subtle difference with the arrow keys when focus is in the 
> Tree, without Direct Tree Navigation, and possibly with Direct Tree 
> Navigation.
>
> Alt arrow keys select exactly one node. Plain arrow keys select the proper 
> node, but leave a dotted outline surrounding the parent node when moving 
> from the parent to the child. This is a bit annoying.
>
> Edward
>

-- 
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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/8295d837-1a53-4070-a776-f1246ff020abo%40googlegroups.com.

Reply via email to