Sorry, this looks like a stupid question -- but I've been struggling for 2 days to get this working.
Got a new laptop with 14" with 1440x900 resolution; running Linux Mint 17.3. Installed leo from git, python 2, pyQT etc. All is good, except... 1. Love the gray color scheme of leo10pt.leo. Copied @data qt-gui-plugin-style-sheet into myLeoSettings.leo => @settings => path 2. Colors are all good. 3. Want to change the font to 14pt. Tried various things - hard coding, changing @font-size-body = 14pt to some 22pt; save, restart etc. But it is always at some 10pt. 4. Added a @data qt-user-style-sheet also; wherein I tried various settings. No luck. Note - these are the last two nodes in my @settings. There are no errors on startup. I remove this node, it goes back to old look and feel and even zoom-in/zoom-out works. I also put in content from leo14pt.leo instead of 10pt.leo; no impact on font-size. I hadn't done any of these since it was a happy world in 1366x768 laptop I had before. This small font everywhere else is fantastic for me. But body text is too small for eyes :( I've enabled VIM plugin and I can open the body in GVIM which is set to 14pt -- but that is a bit of a nuisance when all I want is to read quickly and also is a pain in tiling window manager I usually use. Any help? I'm assuming that this is going to be a "aah, silly me" kind of issue; but just not able to figure out. -- 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.
