On Sat, Mar 18, 2017 at 1:31 AM, tscv11 <[email protected]> wrote: Here is the latest: the Outline Pane *font *of Leo is now *tiny* and does > not respond to adjustments in @settings>Appearance>Qt Gui > settings>Fonts>Basic Fonts. Importantly, the font sizes *did* change in > step with those parameters previously. >
You want settings in: leoSettings.leo#@settings-->Appearance (change these first)-->Qt Gui settings-->Fonts-->Outline pane fonts-->Basic outline fonts . These correspond to this part of the main style sheet: leoSettings.leo#@settings-->Appearance (change these first)-->Qt Gui style sheet-->@data qt-gui-plugin-style-sheet-->Outline pane (change default path) The user style sheet, @data qt-gui-user-style-sheet, may also affect appearance. When in doubt, run Leo from a console and doing the print-style-sheet command will show you the complete style sheet after all substitutions have been made. 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 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.
