On Sat, 10 Mar 2018 17:06:24 -0800 (PST) Thomas Passin <[email protected]> wrote:
> One more reason I found it hard to adjust the colors is that so many > of the syntax colors have those JEdit names, like "literal2_color". > What the heck does that map to? If I could have made a change, > reloaded the settings, and immediately seen the result, I would > probably have stayed with it longer. Good point, I've never understood all the numbers, although I wonder if for example comment1, comment2, comment3, comment4 relative to different parts of a comment, like /* this is a delimited comment */ maybe it can color the delimiters different, and of course some languages have two comment delimiters, // and /* */ Anyway I did just do a test and found that I could just change a setting (all four comment colors, as it happens), do reload-all-settings, deselect and reselect a node with code, and see my changes immediately. Still far from smooth, but at least no restart. Cheers -Terry -- 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.
