Devel now disables plain key outline searches

36 views
Skip to first unread message

Edward K. Ream

unread,
Oct 18, 2022, 6:44:29 AM10/18/22
to leo-editor
I was shocked that the default for @bool plain-key-outline-search was True.

Rev fa3ad59 in devel makes the default False.

This is the kind of nerdy featuritis that should never be the default. This change is reason enough to release Leo 6.7.1 in November.

If you do use this feature, please update your myLeoSettings.leo.

Edward

jkn

unread,
Oct 18, 2022, 1:01:10 PM10/18/22
to leo-editor
Can you explain what this actually affects, please? The current description:

    True: plain keys in the outline pane search for headlines.
    False: Ignore plain keys in the outline pane.

doesn't make much sense to me...

Thanks, J^n

Thomas Passin

unread,
Oct 18, 2022, 1:21:43 PM10/18/22
to leo-editor
The behavior confused me too.  It means that if you are focused in the outline pane, and type, say, a "d", the focus moves to the next headline that contains a "d".  I think it's a vestigial remnant of an attempt to have a more sophisticated (but complicated) way of navigating to a node.

In practice, if the focus shifted to the outline pane but you thought it was still in the body - the usual case for me - when you started typing the outline would start jumping around apparently without rhyme or reason.

jkn

unread,
Oct 18, 2022, 1:42:09 PM10/18/22
to leo-editor
oh right, thanks. Yes, I'm sure I have seen the 'jumping around when pressing keys in wrong pane' scenario, but have never been sufficiently irked to track down what was going on

I'd have thought "move to the next headline that *starts with* a 'd'" might be better, but since I don't really use the feature I am not in a strong position to express a preference...
Reply all
Reply to author
Forward
0 new messages