Hi Arjan, Here is my setup.
1. Pick a theme. I use BreezeDarkTheme. 2. Copy the file from .../leo-editor/leo/themes to ~/.leo and rename it (I used BreezeDarkThemeLocal) 3. Add a node under @settings in myLeoSettings with the headline @string theme-name = BreezeDarkThemeLocal. 4. Restart Leo. This allows me to make changes to the theme without having them overwritten every time I pull the latest Leo. HTH, Chris On Fri, Jun 1, 2018 at 6:51 AM, Arjan <[email protected]> wrote: > I'm trying to enable a theme, but I seem to be missing something. The docs > say: > > To enable a theme, put the following setting in myLeoSettings.leo: >> @string theme-name <name of theme file> > > > I tried putting `@string theme-name LeoBlackSolarized.leo` (also without > .leo) in myLeoSettings, but no changes take effect when restarting. > > -- > 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. > -- 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.
