Hello Edward, hello Thomas Am Do., 29. Okt. 2020 um 10:36 Uhr schrieb Viktor Ransmayr < viktor.ransm...@gmail.com>:
> tbp1...@gmail.com 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 :-(* > What's the expected procedure for handling such a bug / issue during sabbatical times? With kind regards, Viktor -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAAeSrG%2Ba%2BmsGm%3Dc2DtQfW9AAkfXEV75Ff%3DanznQb8mDBjQc1sQ%40mail.gmail.com.
