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. 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.
