I seem to recall a couple suggestions for a layer between Leo's settings machinery and the UI. Easing the pain with baked-in intelligence about the settings back end. A menu item which took you to the correct node in the @settings tree, possibly putting documentation in the log window. Or a font size widget which knew just where in the @settings tree to change a number.
The problem of managing configuration is well known, check out http://augeas.net/ Interesting name for the project, cleaning out a daunting pile of s**t. It's remarkable software, you write 'lenses' which describe the transition to and fro: native configuration files <-> standard tree of values lenses exist for a huge number of configuration files. The lens understands the requirements of the config file, so errors are caught. Would something like this be feasible for Leo? Thanks, Kent On Wed, Dec 4, 2013 at 6:44 AM, Edward K. Ream <[email protected]> wrote: > On Thu, Nov 14, 2013 at 1:52 PM, Terry Brown <[email protected]> > wrote: >> >> >> So one approach would be to write a bunch of familiar helper GUI on top >> of Leo to change Leo settings for you. I think that's what you're >> proposing? > > > There are a lot of good ideas in this thread. > > However, I "guification" of settings is not going to happen. We've already > tried that and imo it was a total failure. But see below. > > Another thread has discussed the problems with qt style sheets. > > Here is an idea that just popped into the old bean: create a settings helper > plugin that would help the user create visual settings. > > This *might* breath new life into @data qt-gui-plugin-style-sheet. I > suppose it could just create (or append to) @data > qt-gui-user-plugin-style-sheet. > > The point is that I don't want to muck with Leo's settings machinery > directly. But a helper plugin might be useful... > > 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. -- 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.
