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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.