The dock2 branch is ready for testing

57 views
Skip to first unread message

Edward K. Ream

unread,
Mar 9, 2020, 7:26:06 AM3/9/20
to leo-editor
This is #1527. It eliminates the "Leo Outlines" title bar when using --global-docks.

I have rejected the proposal to set the label of the body pane to something like c.p.h on startup. Experiments show that doing so would complicate the caching logic that restores the layout of the Leo windows. This feature is nowhere near worth doing.

Please test the dock2 branch now. I'll merge it into devel in a day or two.

Edward

Chris George

unread,
Mar 9, 2020, 10:39:21 AM3/9/20
to leo-editor
So as a workaround to achieve the goal I can use the following keystrokes.

Alt -w, Alt-a, Alt-a
Alt-w, Alt-a, Alt-d

Is there a way to put this into an @button?

Chris

--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/c53cb93e-f73e-4595-a1f9-a82be3636ac1%40googlegroups.com.

Edward K. Ream

unread,
Mar 9, 2020, 11:47:33 AM3/9/20
to leo-editor
On Mon, Mar 9, 2020 at 9:39 AM Chris George <techn...@gmail.com> wrote:
So as a workaround to achieve the goal I can use the following keystrokes.

Alt -w, Alt-a, Alt-a
Alt-w, Alt-a, Alt-d

Is there a way to put this into an @button?

There's always a way :-) Try playing with c.k.simulateCommand. There might be focus problems, in which case the script might have to call methods more directly.

Edward

Chris George

unread,
Mar 9, 2020, 4:51:37 PM3/9/20
to leo-editor

After a couple hours of monkeying I will stick with Alt-w etc. manually at start.

This functionality makes the two pane system fully functional for me as quite often the outline pane isn't on top of the stack and it is still valuable for me to know where I am in the outline.

Thanks for recovering the top line of screen space.

Chris

Edward K. Ream

unread,
Mar 9, 2020, 9:24:26 PM3/9/20
to leo-editor
On Mon, Mar 9, 2020 at 3:51 PM Chris George <techn...@gmail.com> wrote:

Thanks for recovering the top line of screen space.

You're welcome.

Edward

Edward K. Ream

unread,
Mar 10, 2020, 6:12:30 AM3/10/20
to leo-editor
On Monday, March 9, 2020 at 3:51:37 PM UTC-5, Chris George wrote:

>After a couple hours of monkeying I will stick with Alt-w etc. manually at start.

There may be a way of getting what you want without impacting startup and caching. The idea will be to keep the body pane's label at first, then changing it to c.p.h thereafter as c.p changes. I'll see what I can do.

If this scheme works, it will definitely be optional.

Edward

Edward K. Ream

unread,
Mar 11, 2020, 7:04:43 AM3/11/20
to leo-editor
On Tuesday, March 10, 2020 at 5:12:30 AM UTC-5, Edward K. Ream wrote:
On Monday, March 9, 2020 at 3:51:37 PM UTC-5, Chris George wrote:

>After a couple hours of monkeying I will stick with Alt-w etc. manually at start.

There may be a way of getting what you want without impacting startup and caching.

There is a serious bug with multiple body docks. Clicking in the main (leftmost) body dock doesn't fully select it. You could call this a release blocker.

For example, an Alt-Up will select select the other body dock.  I'll fix this as part of #1527. Fixing this bug will likely cause the title of the main body dock to track c.p.h.

I'll do the work in the dock2 branch, which is still around even though it has been merged into devel.

Edward
Reply all
Reply to author
Forward
0 new messages