On Tue, Aug 20, 2019 at 3:00 PM Matt Wilkie <[email protected]> wrote:
> 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.) >> > Interesting ideas. Not sure when, or if, I'll get to them. 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/CAMF8tS0o2nCWupwsLZKDbNherXxMCXd0o7tTU1a4H-QYYi%3D-8g%40mail.gmail.com.
