In the theme's leo file I navigated to: @settings / <theme> / @data qt-gui-plugin-style-sheet / General Widgets and changed 'font-size' property in 'QWidget' section. It changed the overall app's font size. Thanks for the clue!
-- 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/eeb358a3-1884-4d3b-84af-4e6985e15a5f%40googlegroups.com.
