reading settings in C:/leo.repo/leo-editor/leo/config/leoSettings.leo
reading settings in C:/Users/edreamleo/.leo/myLeoSettings.leo
reading settings in c:/leo.repo/leo-editor/leo/core/leoPy.leo (read file for settings)
reading settings in C:/Users/edreamleo/.leo/EKRWindowsDark.leo
reading settings in c:/leo.repo/leo-editor/leo/core/leoPy.leo (reread the file)
Thank you, Edward!
Well, after playing around I found out that replacing DefaultTheme by None in my settings did the trick. This means, that themes change font settings and the like, too. Checked that by inspecting themes files (e.g. EKRLight.leo). Makes sense, but then, why having those settings in myLeoSettings as well? This makes the whole config'ing of Leo rather complex, doesn't it?
Just curious: What happened to the right-click menu showing 5 checkboxes named Render, Body, Tabs, IconBar, Minibuffer? When I right-click in the gui only IconBar is still there.
More important: How can I move the log window out of the outline pane over to the body pane? I like the ouline pane spreading out the whole hight of the monitor. But now, if the log pane grows, the outline pane shrinks. I's prefer the body pane shrink to see the log.
Hm, another one, sorry: When I hover in the outline pane, after about a second a black rectangle appears with the text I'm hovering on, repeating that very text but in white font colour. Searched for "tip" (hoping to find tooltips, tool-tips, tool tips or the like), but cannot figure how to stop this, as there's no added value to repeat the text in a different colour I already see in the outline pane.