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. Cheers Paul On Sunday, December 13, 2020 at 8:11:41 PM UTC+1 poseidon wrote: > 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. > > Cheers > Paul > > On Sunday, December 13, 2020 at 7:51:25 PM UTC+1 poseidon wrote: > >> Thank you, Edward! >> >> myLeoSettings.leo is the only myLeoSettings.leo on my machine. >> >> 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? >> >> Cheers >> Paul, being happy again for now :-) >> >> On Sunday, December 13, 2020 at 3:46:27 PM UTC+1 Edward K. Ream wrote: >> >>> On Sun, Dec 13, 2020 at 7:08 AM poseidon <[email protected]> wrote: >>> >>> > I upgraded Leo from 6.1 to 6.3. As a result I couldn't recognize my >>> Leo anymore, everything different, all my settings seemed gone. Simply >>> opening myLeoSettings seemed to help, but that change wasn't persistent >>> after closing Leo. >>> >>> First, my apologies for the trouble you are having. >>> >>> [big snip] >>> > Any idea, what's going on? >>> >>> Perhaps Leo isn't finding your myLeoSettings.leo. See below. >>> >>> > Why does Leo look for settings in my workbook twice? >>> >>> When I open Leo, the log pane contains this (among other things): >>> >>> 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) >>> Yes, that's right. After reading the settings files, Leo *re-reads* the >>> .leo files that appear on the command line. This ensures that all settings >>> are properly applied. >>> >>> *My advice* >>> >>> 1. Make sure Leo is loading the correct copy of myLeoSettings.leo. This >>> page <http://leoeditor.com/customizing.html#configuration-directories> >>> tells where Leo looks for settings files. >>> >>> 2. Once you know that Leo is loading the right myLeoSettings.leo file, >>> make a copy of your old myLeoSettings.leo file, and remove all the settings >>> for the "active" myLeoSettings.leo file. >>> >>> 3. Don't open myLeoSettings.leo *in addition* to other files. That will >>> just confuse you. >>> >>> 4. Now you can run some experiments: >>> >>> A. Open myLeoSettings.leo *all by itself.* >>> B. Open some other file, say x.leo with Leo, all by itself, just to see >>> what x.leo looks like. >>> C. Change myLeoSettings.leo. >>> D. Close x.leo and reopen x.leo. >>> >>> Repeat until x.leo looks right. >>> >>> HTH. Please feel free to ask more questions. >>> >>> Edward >>> >> -- 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/8b59ea84-cb03-42c5-b6d3-fd2af02dde42n%40googlegroups.com.
