Hello Thomas, [email protected] schrieb am Mittwoch, 28. Oktober 2020 um 22:04:52 UTC+1:
> > On Wednesday, October 28, 2020 at 3:52:08 PM UTC-4, Viktor Ransmayr wrote: > >> Thanks a lot for your two messages. - Applying the command - or - the >> suggested button is a good workaround. >> >> But IMO other Leo users will experience similar issues, when the have to >> switch from the '--use-docks' behavior of 6.2 to the 'NO docks' behavior >> re-introduced with 6.3 ... >> > > There is no code anymore in VR3 (or Leo) that knows about docks anymore. > In 6.2, Leo (and so VR3) could be run either with or without docks. I > would not have expected splitter layouts (what we have without docks) to > have been influenced by dock settings - the two were completely orthogonal > as far as I know (which may not be too far). > > And yes, do please see what happens with a fresh install of 6.3. > Here are the notes from my experiment this morning: *Checkout behavior for a user, having installed Leo-stable from GitHub.* Rename ~/.leo to ~/.ole* Restart Leo - and - re-open this outline using 'File > Open-Outline'### after restart ...* Leo showed a tip - but - did not ask me for a Leo-ID ...* Try 'Help > Open Help topics > Help' ... * VR pane is opened to the right (as expected)* Open 'myLeoSettings'. Outline is created & opened after confirmation ...* Comment out 'viewrendered' and insert 'viewrendered3'### after restart ...* Leo showed another tip ...* Try 'Help > Open Help topics > Help' ... * VR3 pane is in light mode - and - is opened to the left :-(* -- 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/d8ea813d-2a94-4535-a82b-1ad52af119ebn%40googlegroups.com.
