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). But yes, do please see what happens with a fresh install of 6.3. -- 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/4f4582d0-fcd8-4c09-9034-42b4c9e0e21ao%40googlegroups.com.
