On Saturday, March 10, 2018 at 1:18:38 PM UTC-5, Terry Brown wrote: > > On Sat, 10 Mar 2018 06:58:42 -0800 (PST) > Thomas Passin <tbp1...@gmail.com <javascript:>> wrote: > > in 5.7, LeoSettings has (at least) four dark themes: "base dark", "windows ekr dark", "leo_dark theme 1", and "leo_dark theme 2". I tried them all, and found "base dark" to be the easiest to understand and modify. I probably should have derived a modified theme instead of changing some of the colors in the base dark these, but I didn't understand quite how everything worked so I took the easy way out.
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. But, at least on my system, I had to restart Leo each time. A mapping description would have been very helpful. My system is Windows 10, 64-bit Python 2.7, Leo 5.7b2. > > I just went through a really painful experience when I adopted a dark > > theme. > > I think this is good feedback. Although I wonder if you're talking > about one of the old themes or one of the new ones, for which I assume > the default syntax colors are visible - not quite sure how far out the > door the new themes are to be honest. > > > -- 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.
