On Thursday, March 8, 2018 at 4:29:35 AM UTC-6, Edward K. Ream wrote:
In e4e0b81ad91e
>>
>> g.error('error')
>> g.warning('warning')
>>
>> and
>>
>> g.blue('blue')
>> g.red('red')
>>
>> give different results
>
>
> That depends on the theme and defaults in leoSettings.leo. I'll add
> defaults to leoSettings.leo so legacy operation is restored.
>
Done at 422bfbd.
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
