I'm on Linux and use Leo 5.8, installed from the distribution's repo. Everything works as expected so far, except the Outline Pane:
1. Changing the font size has no effect, no matter how I do it: Directliy in myLeoSettings.leo or by use of the menu. Changing @font-size affects the font in the Log and the Body window as expected, but not in the Outline Pane. 2. Same with colours. 3. Moving towards the edges of the Outine Pane when dragging does not scroll as it used to do in former versions of Leo. Yes, I move the mouse when close to the edges of the Outline pane as needed to force scrolling. Could it be that I did wrong with the settings? What I did in terms of settings: After installation I saved LeoSettings.leo as myLeoSettings.leo and did some tweaks (no hints at startup, change split direction and the like). There are no settings in the file I use as my workbook, which could overwrite myLeoSettings.leo. Can someone shed some light on this? Cheers Paul -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
