> > Blue sky: I'd like to be able to run `show-settings` into a Leo panel, > that has a filter category buttons plus a text field at top. From there I > could 2x-click or [enter] on any given setting and be taken to the location > where that is currently defined (LeoSettings, myLeoSettings, > MyCoolTheme.leo, ThisLeofile.leo). At which point I could change as needed. > If this place happens to be a System setting (not mysettings or local leo > file) then my changes are saved/moved to the next level down. (Or answer a > prompt which asks at which level to save the setting.) >
I decided this merited an enhancement issue entry: https://github.com/leo-editor/leo-editor/issues/1294 -- 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/2973a9ba-73f9-4ec6-a7db-13c1704a9b60%40googlegroups.com.
