On Thu, Feb 2, 2017 at 10:45 AM, Edward K. Ream <[email protected]> wrote:
​
​>> ​
My preference is to keep the red text for comments following @, but don't
know how to get that back.

​> ​
This will involve a new setting.  I do this immediately.

​Done at 2b95b7d.

The new setting is @bool color-doc-parts-as-rest = True

To get the behaviour you want, set this to False in myLeoSettings.leo.

Usually new settings come with legacy behaviour as the default, but in this
case I think the vast majority of people will prefer the new behavior.
This choice can easily be changed if there is an outcry.

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.

Reply via email to