On Mon, Mar 23, 2020 at 2:03 AM gar <[email protected]> wrote: 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're welcome. Glad it works for you. 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/CAMF8tS3r7ayG71zsNQuGmbCYB0rPfZY6hhTdpRVgOT9Mje8eOQ%40mail.gmail.com.
