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
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
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,
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)
-
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
