Ran commit a10998 with --use-docks option which gave a different layout than last saved. All docks were fixed and I was unable to be update the layout. I had to run --init-docks to enable the layout to be updated.
Regards Lewis On Monday, September 7, 2020 at 5:41:42 AM UTC+10 Edward K. Ream wrote: > 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/d83a2e10-e5d2-40a5-8c39-475b873c69c4n%40googlegroups.com.
