The effect of the new leoSettings.leo is that: 1. All parts of @data qt-gui-plugin-style-sheet can, in effect, be modified "from afar" using traditional Leo settings like @color, @font etc.
2. There is no great need for different versions of the settings that differ only in font size. Changing just a few font-related settings will suffice to make most of Leo usable for newbies, and everyone else. The last piece of the puzzle is the style-reload command. This command must be rewritten. The style-reload command must first re-read *all* settings files, as is done at startup. That is the only way to recompute all settings from leoSettings.leo, myLeoSettings.leo and the "local" .leo file. Just a few calls to g.app.loadManager methods should suffice. Once all settings have been updated, ssm.reload_style_sheet will call ssm.get_last_style_sheet to "compose" the style sheet, and then call w.setStyleSheet(sheet), where w is the top-level (master) widget. I hope to finish this command this evening. 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
