On Sunday, September 6, 2020 at 12:04:12 PM UTC-5, Edward K. Ream wrote: 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. >
The new code is in devel. Please test it and report any problems. *Notes* --init-docks also implies --use-docks. This should have been done long ago. I have not found any need to clear caches. Just use --use-docks to set up your layout. I have just closed #1643 <https://github.com/leo-editor/leo-editor/issues/1643>. Please reopen if you find problems. 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/6ea860e3-f472-4325-a5eb-1ff4d4443454o%40googlegroups.com.
