Thank you very much for this! For those not necessarily familiar with this part of Leo, the node referred to is "Global Settings -> @settings -> Qt Gui Stylesheet settings -> Fonts -> Basic Fonts (change these first)"
Just copy and paste the whole node to Personal Settings (myLeoSettings.leo) -> @settings. No need to restart Leo to see results, just close and reopen Personal Settings. It can be helpful to copy the Startup node as well, for the color and font pickers, though there's might be other stuff in there we don't want in our personal settings(?). -matt On Tue, Sep 16, 2014 at 8:51 AM, Edward K. Ream <[email protected]> wrote: > Here is the checkin log for 2ffda29, Tuesday, September 16, 2014 10:26:32 > AM: > > QQQQQ > The grand changeover to fully-parameterized style-sheets. > > Almost all settings in @data qt-gui-plugin-style-sheet in leoSettings.leo > are now defined in terms of @values. > Traditional Leo settings nodes (@strings, @color, @font, etc.) define > these @values. > > Important: Almost all existing Leo users are going to have to adjust > settings. This can't be helped and I apologize in advance. > > The place to start is with the node called "Basic Fonts (change these > first)" > This should be enough to get things looking pretty good for you. > > Leo build: 20140916102633 > QQQQQ > > Despite these warnings, I have just pulled the new settings onto my Ubuntu > machine and everything appears unchanged. It may be (no guarantees) that > the settings in your copy of myLeoSettings.leo will minimize the problems > in the changeover. > > Notes: > > 1. To repeat, There is now a node called "Basic Fonts (change these > first)" This node contains the basic font definitions. Changing only the > settings in this tree (in myLeoSettings.leo, of course) should be enough to > get Leo looking pretty much as it was. > > 2. Don't even *think* about changing @data qt-gui-plugin-style-sheet. > Really, the whole point of this exercise is to be able to change all > aspects of Leo's appearance without touching this stylesheet. As Terry > points out, there will always be a place for > @data qt-gui-user-style-sheet > > 3. In an emergency, there is at present a node called "OLD > qt-gui-plugin-style-sheet" that you could use to revert to the old > settings. Just rename it and copy it to your myLeoSettings.leo. > > 4. Terry, I've attempted to maintain compatibility with the settings for > bookmarks.py, but you may want to check them. > > Imo, this project is worth whatever short-term problems may arise. I have > worked hard to minimize such problems, but the big picture is that the new > settings scheme will make life a *lot* easier for newbies. They should be > able to make most customizations without changing @data > qt-gui-plugin-style-sheet in any way. > > 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. > -- 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.
