TEX doc colors changed

[Largo84]

I work with @language TEX a lot and now see that all doc parts after @ are black text, not red as before. If I use the stock TEX comment character (%), the following text is red as before and as expected.

I see there has been much work recently on the colorizers so I don't know if this issue is related to that, and if so, if this was intentional or an unintended consequence. My preference is to keep the red text for comments following @, but don't know how to get that back.

Rob.......

[Edward K. Ream]

On Thu, Feb 2, 2017 at 9:17 AM, Largo84 <Lar...@gmail.com> wrote:

I work with @language TEX a lot and now see that all doc parts after @ are black text, not red as before. If I use the stock TEX comment character (%), the following text is red as before and as expected.

I see there has been much work recently on the colorizers so I don't know if this issue is related to that, and if so, if this was intentional or an unintended consequence.

​The change was intentional, but I had no idea anyone would want red text ;-)
​

 

My preference is to keep the red text for comments following @, but don't know how to get that back.

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

Edward

[Largo84]

Great, thanks!

Just curious, though; why would the text color be different for comments after the stock TEX comment character (%) than for after @ block?

[Edward K. Ream]

On Thu, Feb 2, 2017 at 10:45 AM, Edward K. Ream <edre...@gmail.com> 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

[Edward K. Ream]

On Thu, Feb 2, 2017 at 10:49 AM, Largo84 <Lar...@gmail.com> wrote:

why would the text color be different for comments after the stock TEX comment character (%) than for after @ block?

​I have no idea ;-)  I would have to see the actual text.

Edward

[Largo84]

Does this screen shot help?

[Edward K. Ream]

On Thu, Feb 2, 2017 at 11:24 AM, Largo84 <Lar...@gmail.com> wrote:

Does this screen shot help?

​Yes.  Thanks.

​ ​

This is what I would expect with the new colorizing of @doc parts.​

Everything up to the @ gets colorized as Tex. Everything between @ and @c is an @doc part. With the new behavior, this will be colorized as @language text. Which means "black" unless there are constructs such as **bold** or *italics*.

Edward

[Largo84]

OK, good to know, thanks! BTW, I added the new setting at your suggestion and it's working again as before.

Rob..........

[Edward K. Ream]

On Thu, Feb 2, 2017 at 12:12 PM, Largo84 <Lar...@gmail.com> wrote:

OK, good to know, thanks! BTW, I added the new setting at your suggestion and it's working again as before.

​Thanks for the clarification.

Edward