Re: Caution: leoSettings.leo fully parameterized settings
Thanks for the wonderful work. Now I have only one custom color in myLeoSettings.leo in which I'm interested. It is much easier to find/change it. -- 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.
Re: Caution: leoSettings.leo fully parameterized settings
On Wed, Sep 17, 2014 at 3:03 AM, Zoltan Benedek benzol...@gmail.com wrote: Thanks for the wonderful work. You're welcome. Now I have only one custom color in myLeoSettings.leo in which I'm interested. It is much easier to find/change it. Glad to hear it. 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.
Caution: leoSettings.leo fully parameterized settings
Here is the checkin log for 2ffda29, Tuesday, September 16, 2014 10:26:32 AM: Q 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 Q 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.
Re: Caution: leoSettings.leo fully parameterized settings
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 edream...@gmail.com wrote: Here is the checkin log for 2ffda29, Tuesday, September 16, 2014 10:26:32 AM: Q 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 Q 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. -- 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.
Re: Caution: leoSettings.leo fully parameterized settings
On Tue, 16 Sep 2014 14:23:15 -0700 Matt Wilkie map...@gmail.com 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 edream...@gmail.com wrote: Here is the checkin log for 2ffda29, Tuesday, September 16, 2014 10:26:32 AM: Q 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 Q 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. -- 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.