"Chapters" Dropdown Can Now Be Placed At Left Of IconBar

20 views
Skip to first unread message

tbp1...@gmail.com

unread,
Jul 18, 2022, 10:17:08 AM7/18/22
to leo-editor
With the new merge of the devel branch, you can locate the "chapters" dropdown at the left of the Iconbar.  This is useful if you use chapters a lot, since it prevents the dropdown from being truncated off the end of the toolbar when there are many script buttons, or the Leo window is narrow.

To use the new feature, add a new node to the @settings tree in your myLeoSettings.leo outline with this text:

@bool chapter-dropdown-left = True

This feature was requested by @jbobian in issue 2722.

Edward K. Ream

unread,
Jul 18, 2022, 12:03:06 PM7/18/22
to leo-editor
To use the new feature, add a new node to the @settings tree in your myLeoSettings.leo outline with this text:

@bool chapter-dropdown-left = True

Rev 2e1dbd9 adds `@bool chapter-dropdown-left = False` to leoSettings.leo, retaining legacy operation by default.

Edward

tbp1...@gmail.com

unread,
Jul 18, 2022, 12:09:01 PM7/18/22
to leo-editor
And the default was False anyway, but having it in leoSettings.leo at least means that someone might notice it there.

Edward K. Ream

unread,
Jul 18, 2022, 12:56:55 PM7/18/22
to leo-editor
On Mon, Jul 18, 2022 at 11:09 AM tbp1...@gmail.com <tbp1...@gmail.com> wrote:
And the default was False anyway, but having it in leoSettings.leo at least means that someone might notice it there.

Yes.  All official settings should be documented in leoSettings.leo.

Edward
Reply all
Reply to author
Forward
0 new messages