Since I posted, I found that bit in the LeoPyRef.leo file, made a themes subdirectory in .leo, and tried it out. It did work. I had a bit of uncertainty about what name to use for the theme specification in myLeoSettings.leo. Ultimately I used the filename of my copy of the theme file (without the .leo extension) and that worked. I also tried it on the command line using --theme= and that worked too.
Three cheers for the Nav pane, because it made the searching so easy! Now we just need to make it easier to modify themes for everyone else. On Sunday, October 11, 2020 at 3:01:56 PM UTC-4, Edward K. Ream wrote: > > On Sunday, October 11, 2020 at 1:14:30 PM UTC-5, Thomas Passin wrote: > > > It seems to me that the .leo directory would be a good place to put > modified theme outlines. There could be a .leo/themes subdirectory. > > Leo already does this. See LM.resolve_theme_path and > LM.computeThemeDirectories: > > def computeThemeDirectories(self): > """ > Return a list of *existing* directories that might contain theme .leo > files. > """ > join = g.os_path_finalize_join > home = g.app.homeDir > leo = join(g.app.loadDir, '..') > table = [ > home, > join(home, 'themes'), > join(home, '.leo'), > join(home, '.leo', 'themes'), > join(leo, 'themes'), > ] > return [g.os_path_normslashes(z) for z in table if g.os_path_exists(z > )] > # Make sure home has normalized slashes. > > Try putting your theme file in your ~/.leo/themes directory. Does it work > for you? > > 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/a9a76989-fe4f-43f9-87e1-ab2187355fado%40googlegroups.com.
