On Sat, Jul 2, 2011 at 8:17 AM, Terry Brown <[email protected]> wrote: > On Sat, 2 Jul 2011 06:06:26 -0500 > Kent Tenney <[email protected]> wrote: > >> <snip> >> >> > Actually I think extra editors should use the free_layout mechanism, >> > and should be able persist that. >> >> YES! >> >> Persisting multiple editors sounds to me like one of the few required >> enhancements remaining for Leo. >> >> Could the body pane be tabbed, allowing multiple nodes loaded? >> (and persisted of course) Now THAT would be peachy. > > The tabula command does that, but without syntax highlighting etc.
Never done <alt-x> before; nice, but not persistent, right? I > think the first step on having more flexible multiple editors is > getting the leo text editing widget to behave well as a simple stick it > anywhere kind of QWidget. > > For a tabbed editor like thing, I have the key binding > 'quickmove_jump_to what and where is "quickmove_jump_to" ? = Ctrl-B' so Ctrl-B adds a 'jump to' button for the > current node. I find that works well even without persistence because > the set of nodes for which I want 'tabs' evolves over time. But, next time you open that Leo file, all the 'jump to' buttons are gone ... ? 'Evolve over time' - right, but not 'set up from scratch each time the file is opened' Thanks, Kent > > Cheers -Terry > >> >> It's hard for me to get in the habit of using cool features which involve >> setup (such as multiple editors) if I can't persist them. As they become >> persistable, new and better workflows can emerge. >> >> Thanks, >> Kent >> >> <snip> >> > > -- > You received this message because you are subscribed to the Google Groups > "leo-editor" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/leo-editor?hl=en. > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
