Edward, yes, the worst part of those kind of nodes is waiting for it to load when you are actually going to other node, or when you want to run a script on them but not read them.
Actually, just some short of "loading paused" button instead of a node body, such as when you click it, the node body will load, would be enough. This way, you could still select given node to run scripts on it, but it wouldn't load the body/text unless you click the button. If, on top of that solution, there is a "send to clipboard" option too, it would make mostly unnecessary even to load given nodes into Leo text widget, and you would still have most of any desired functionality (that I can think of). Because with those two described options, you can quickly edit them with your scripts, or copy and paste them in another editor to edit/view them. And you still can use Leo to keep / organize your information. On Thu, Aug 28, 2014 at 6:26 PM, Edward K. Ream <edream...@gmail.com> wrote: > On Thu, Aug 28, 2014 at 8:20 AM, Edward K. Ream <edream...@gmail.com> > wrote: > > More background for git bug 28: > ... > > However, when moving around the outline, we often want just to move > *past* a large node. This suggests the following strategy. > > Important: this strategy conflicts with implementing w.getTextLength > using a textChanged event handler. In general, any textChanged > handler is going to complicate the way-too-complicated node switching > code. Best not to go there. > > EKR > > -- > 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 leo-editor+unsubscr...@googlegroups.com. > To post to this group, send email to leo-editor@googlegroups.com. > 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
