On Thu, Nov 7, 2013 at 10:00 AM, <[email protected]> wrote:
> On Thursday, November 7, 2013 4:52:04 PM UTC+1, Edward K. Ream wrote:
>
>> On Thu, Nov 7, 2013 at 9:37 AM, <[email protected]> wrote:
>>
>>> I delved into the settings file, but was unable to find the entry
>>> pertaining to the font type and color.
>>> Could you please help me with that?
>>>
>>
>> It's in @data qt-gui-plugin-style-sheet
>>
>
> I cannot even find that!
> You are talking about the leosettings.leo file, right?
> Could you please give me detailed instructions?
>
No problem. Leo's settings can be intimidating.
The node is so important that it is cloned, so it appear in several
places. One of them is::
@settings-->Appearance-->@data qt-gui-plugin-style-sheet
Another way is to search for @data qt-gui-plugin-style-sheet. But this
requires:
1. That you know how to use the search command (not trivial):
http://leoeditor.com/tutorial-basics.html#finding-replacing-text
2. That you disable the regex option so "@" will be found.
Or just search for qt-gui-plugin-style-sheet :-)
HTH. Please keep asking questions until things start to click.
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/groups/opt_out.
