On Fri, Dec 20, 2013 at 9:38 AM, Fidel N <[email protected]> wrote:
> > When new options are added to Leos default settings, will I have to update > myleosettings manually to reflect those? > You shouldn't have to change anything for *new* settings. Their defaults are typically set to be compatible with legacy operation. Otoh, changes *defaults* in leoSettings.leo, as I have just done at your suggestion, may cause other people to have to change their copy of myLeoSettings.leo. I usually don't change defaults, but there have been a number of changes recently to make life easier for newbies. Old timers may want to "protect" their existing settings by copying them into myLeoSettings.leo. I should point out a stellar new setting, discussed in the upcoming 4.11.1 release notes, namely: @data qt-gui-user-style-sheet The settings in this settings replace any settings in @data qt-gui-plugin-style-sheet. This means you don't have to copy/paste @data qt-gui-plugin-style-sheet, but merely put your particular overrides in @data qt-gui-plugin-style-sheet. At long last, you can see just what you changed. 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/groups/opt_out.
