On Thursday, November 7, 2013 9:59:50 AM UTC-6, Terry wrote: > > Then you can just copy node / paste node to copy the "leo_dark theme 0 > settings" node I believe you already found as a child of the @settings > node in your myLeoSettings.leo > > Restart and you'll have a dark theme, although it really only works > when the rest of your environment is using a dark theme too. >
Really? That didn't work for me. What did work: - I *(gasp) read the directions, placing the leo_dark theme 0 at the end of the @settings tree. Or rather, as the last child node of the @settings tree. - I executed (Ctrl-B) the node called "stylesheet & source" in the theme tree. Imagine my surprise: instant change of appearance! But even after saving myLeoSettings.leo, I *still* have to execute this node when I reopen another .leo file. Weird. And when I *reopen* myLeoSettings.leo, the light theme comes back! Also, I have no idea what the following means (from the README) node: "A theme's folder should be in either .../leo/themes or $HOME/.leo/themes. NOTE: to use with a non-dark desktop theme, switch '@ignore base' below to 'base' and `run-script` on the `stylesheet & source` node." In short, the theme machinery is working *sometimes*. What am I missing? 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
