On Sunday, September 6, 2020 at 8:34:30 AM UTC-5, Edward K. Ream wrote: > The second step will be to see whether --global-docks is really necessary.
I've carefully reviewed the code. Imo, the --use-docks and --global-docks command-line options should be combined. There seems to be no good reason for two separate switches. We may as well always use global docks. The plan is this: 1: --use-docks will imply --global-docks. 2: --global-docks will imply --use-docks, as at present. 3: --global-docks will be deprecated, with a warning message. *Floating docks and window position* Now (in the docks2 branch) you can only *create a *floating dock is when --init-docks is in effect. The next time you open Leo (without --init-docks) Leo will re-float any previously floated dock. Whenever you save a .leo file, Leo will save the position of Leo's main window *and* the location of any floated docks. Imo, this is exactly what we want. You set your preferred layout with --init-docks, and then you can select the location of all windows any time you want. *Summary* Leo preserves any changes to the size and location of Leo's main window and any floating docks. Only testing will show whether unifying --use-docks and --global-docks makes sense. If it does make sense, the --init-docks option should work better, because there is only one dock configuration to remember. All comments and questions welcome. 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/4b69bae1-6658-45c6-a420-a76a4bbc9448o%40googlegroups.com.
