I'll mention a perennial wishlist item: - persistent multiple editors I vaguely recall that Terry's stuff can provide that feature if I correctly write out the state and reload it next session. That's too much for my little brain to remember, but if that capability exists, could it be registered with shut-down and start-up events?
On Mon, Sep 8, 2014 at 1:02 PM, Edward K. Ream <[email protected]> wrote: > On Monday, September 8, 2014 8:25:49 AM UTC-5, Edward K. Ream wrote: >> >> On Sun, Sep 7, 2014 at 8:39 PM, 'Terry Brown' via leo-editor > > >> > The major drawback of those is that they use plain plain text editors, >> > and not Leo body >> > editors. free_layout should be able to completely replace the >> > perennially picky add-editor code, too. >> >> I would love it if that could be done. But it won't be easy, imo. > > > On second thought, I think you are right. Much of the "dashed" complexity I > was talking about will probably be handled in free_layout itself. The only > "extra" thing free_layout has to do in order to manage body panes is to keep > the following ivars up to date: c.frame.body.wrapper, > c.frame.body.wrapper.widget and (I think) c.frame.body.widget. This last > doesn't make a lot of sense, but iirc failure to update it caused the > crashes re body editors that Kent reported recently. > > So it's time for me to re-read your posts ;-) > > 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. -- 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.
