On Tue, Mar 7, 2017 at 5:39 AM, Edward K. Ream <edream...@gmail.com> wrote:
>
> On Mon, Mar 6, 2017 at 10:01 PM, 'Terry Brown' via leo-editor <
> leo-editor@googlegroups.com> wrote:
>
>>
>> Hi Jon. I'm using the "@solarized-" names, and they're working ok, I
>> don't think that part of the theme machinery is damaged. But note that
>> those names aren't built into Leo, they have to be defined in
>> @settings
>
>
> I'll make a note to that effect in leoSettings.leo and themes.leo.
>
Done at d84a87d.
Note: the changes do not affect any existing stylesheet. As explained in
the top-level Themes node, if you want solarized colors, you must move
Themes-->About solarized colors-->Solarized color definitions
into the theme's @stylesheet tree.
I'll be closing #350 <https://github.com/leo-editor/leo-editor/issues/350>
as soon as tree indicators work properly on Windows.
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
