Leo's convoluted settings system is really trying my patience. I had tried to change the UI settings (mostly colors) a few months ago, but I eventually gave up...
Now I am trying it again, but I am still encountering difficulties. First of all, I copied the @data qt-gui-plugin-style-sheet node to myLeoSettings (under the @settings node), to play with it. The problem is that: 1) some the settings that I changed in this node do not seem to take effect, even after I save and I restart Leo 2) some of the settings that I want to change are not even present in this node, so I cannot change them. Yes, there is a notice that says "Important: this stylesheets is responsible for most, but *not* all, of Leos appearance. See also settings in "Colorizer and colors" -- But where do I find it?? And why on earth are some UI settings in one node and others (closely related to them) in another node?!? This really baffles me. For instance, I am trying to change the foreground and background colors of panes. Now, the setting for the background color is clearly visible (background-color), but where is the setting for the normal text? It's nowhere to be seen in this node. The only thing which slightly looks as if it could change the text foreground color is the setting font-style, which is currently set as normal. Now, if I wanted to change this (assuming I could change the foreground color through it), what should I do? This is really becoming quite frustrating. Suggestion: could we please have a simplified way of handling UI settings? Something straightforward like: background-color foreground-color within the *same node*? Oh, and did I mention that some of the settings that I changed did not take effect at all? I changed the background color to black, on multiple settings, but it still remains white! I really hope some of you guys sorts this settings mess out sooner rather than later! -- 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.
