On Monday, March 5, 2018 at 4:51:57 AM UTC-6, Edward K. Ream wrote: This a progress report on #766 Create a Themes menu and simplify theme > settings <https://github.com/leo-editor/leo-editor/issues/766>. >
And it was also an update on #764: Improve the screen shot on Leo's home page <https://github.com/leo-editor/leo-editor/issues/764>. I forgot to mention two, no three, things in the original post. 1. leoSettings.leo contains the new @theme Leo Solarized Dark tree. 2. This theme contains a number of changes from Chris George's original, mostly my preferred colors. It also adds some new syntax-coloring settings so that, for examples, the angle brackets in: << section name >> use solarized colors instead of blue, which is nearly invisible. The new screen shot on Leo's home page will show these colors. 3. I updated the VR plugin so it no longer jams it's own style sheet into the rendering pane. Devs should always refrain from dictating how their creations will look. Let the user decide, via themes. 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 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.
