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.
