Thanks a lot, Chris! You recipe just worked. But it isn't obvious for me though.
Edward, I believe that this should be written in the docs. It shouldn't be THAT hard to just change the font size.... четверг, 20 июня 2019 г., 18:55:31 UTC+3 пользователь Chris George написал: > > HI Gar, > > Here is how I use themes. > > In the directory leo-editor/leo/themes are a number of theme files. These > can be loaded using the File, Open Outline menu option in Leo. Opening an > outline automatically loads it. Keep opening outlines until you find one > you like. > > Then close all of the theme files. > > Copy the theme file you chose from leo-editor/leo/themes to ~/.leo/themes > (you will have to create the themes folder here) and rename it something > like this: Original file is BreezeDarkTheme.leo rename to > BreezeDarkThemeLocal.leo > > Now open your myLeoSettings.leo file. > > Add the following to the headline of a new node as a child of your > @settings node: > @string theme-name = BreezeDarkThemeLocal > > Now save the file and restart Leo. > > You should now be using the theme of your choice. From here you need to > open the local theme file with Leo. The font sizing and colors are under > Theme Settings in the tree. > > HTH, > > Chris > > > On Thursday, June 20, 2019 at 8:40:10 AM UTC-7, gar wrote: >> >> Strange... My settings contain (for example) @string font-size-body = 12px >> But when I dump all the settings via menu command I see that: [F] @string >> fontsizebody = 22px >> Got no idea what does that mean and why does it go in this way. >> It seems strange to me to spend hours debugging setup of font sizes of >> the editor.... >> >> четверг, 20 июня 2019 г., 18:23:45 UTC+3 пользователь gar написал: >>> >>> I'm trying to customize Leo for my likings. >>> First of all I took a theme and placed it's name into appropriate >>> setting of myLeoSettings project. Ok, it applied, but font size is so huge >>> that all texts run out of my screen. >>> >>> Ok. I added a setting for base font size. It didnt work. Fonts remained >>> huge. >>> Ok, I said. I copied theme node into mySettings. Changed font sizes >>> everywhere I found their traces. And nothing has changed again. Magic. >>> >>> Is there any way to customize fonts when theme is used? I suspect that >>> their sizes hardcoded somewhere in qml files - seems like so. >>> >>> >>> -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/84df741f-400c-443f-b8f9-0ac89d3042d0%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
