On Tue, 16 Sep 2014 14:23:15 -0700 Matt Wilkie <[email protected]> wrote:
> 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(?). So the steps you describe above are the ones I hope to automate away with the fabled menu under Settings, because people keep pointing out that changing the font should be as simple as changing the font elsewhere, which seems reasonable. But prior to the fabled menu materializing, what you describe is a good guide. Cheers -Terry > -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.
