The equal-sized-editors command has been disabled

27 views
Skip to first unread message

Edward K. Ream

unread,
Mar 5, 2020, 1:02:23 PM3/5/20
to leo-editor
This is #1184. Imo, an equal-sized-panes command makes little or no sense when using docks. How is the code to know the present layout?

This post discusses the equal-sized-editors command.

Recent code used QDockWidget.setFixedWidth() to do the job, but this is way bad. It becomes impossible to move the editor docks! Furthermore, the editor docks are too big. Any "adjustments" would just be hacks.

This looks like a surprisingly tricky enterprise. One possibility would be to replace the layout manager that contains the body editors, but this might have side effects because Qt is already managing the dock widgets.

In short, it may be awhile...

Edward

Edward K. Ream

unread,
Mar 5, 2020, 1:08:54 PM3/5/20
to leo-editor
On Thursday, March 5, 2020 at 12:02:23 PM UTC-6, Edward K. Ream wrote:

> This is #1184. Imo, an equal-sized-panes command makes little or no sense when using docks. How is the code to know the present layout?

I have just closed #1184, which deals with the equal-sized-panes command.

> This post discusses the equal-sized-editors command.

Which is #1523. My apologies for the confusion.

Edward

Edward K. Ream

unread,
Mar 5, 2020, 5:15:10 PM3/5/20
to leo-editor
On Thursday, March 5, 2020 at 12:08:54 PM UTC-6, Edward K. Ream wrote:

I have just closed #1523, marked it Won'tDo, and moved the equal-sized-editors code to the attic.

There is no real need for this now that Leo remembers the positions of additional editors.

If you think this issue is important, then please do it yourself. There are many more important items on the list.

Edward
Reply all
Reply to author
Forward
0 new messages