On Fri, 15 Nov 2013 10:20:43 -0600 "Edward K. Ream" <[email protected]> wrote:
> On Fri, Nov 15, 2013 at 8:27 AM, Matt Wilkie <[email protected]> wrote: > > > It's not completely reliable, not all visual settings seem to be honoured > > all the time, but I note that when opening different .leo's with different > > font settings the different sizes take effect immediately (most recent one > > opened wins). This seems to point towards a "change without restarting" > > being possible. > > > > The idea was to open each .leo file in a separate copy of Leo. Opening > them in tabs kinda defeats the purpose. > > Change without restarting might be feasible for specific kinds of settings, > but in general it's out of the question: too many settings get cached in > various objects. True. Changing styles without re-starting is fairly straight forward, pretty much works already. Changing buttons, menu layout, key-bindings, tab-width, wrap-column, commands, active plugins etc. etc. would be a lot more difficult. Fortunately changing style is probably the one people most want to change on the fly, and would be least willing to accept not being able to. At least in general, in the particular context of easy / export mode toggle - I think doing that without restart might be more redesign and recoding than anyone has the appetite for. Cheers -Terry -- 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.
