On Thursday, September 11, 2014 9:34:19 AM UTC-5, Terry wrote: > > On Thu, 11 Sep 2014 09:16:18 -0500 > "Edward K. Ream" <[email protected]> wrote: > > > Here are some revisions to my middle-of-the-night thoughts. >
I'm not 100% convinced we need to go down this settings update callback > path. > It appears that our writings have crossed in the ether. As I have just written in a reply, it looks like what you have already done moots my previous posts. This is great news! Applying the stylesheet to the top level of Leo's widget tree is > too slow to do on every edit of a single setting (a Qt limitation), so > the explicit invocation through Settings -> Reload Styles is fine. I agree. It's 95% of what anyone could want. > The callback approach could allow dynamic changing of settings for other > things, but writing the myriad callbacks would be a massive task. If > something really wants to see settings changes in real time it could > just hook 'save2' or something. > Yes. What you have already done is better. 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/d/optout.
