Hmm...
Chapters provide a similar function. I use them all the time for this
functionality.
Hope this helps!
-->Jake
On 12/2/2015 9:44 AM, Phil wrote:
Not 100% clear on your goal - basically cut / yank / push a subtree,
which you're identifying by hoisting, to a stack, rather than the
single content clipboard, and the copy / pop it somewhere else later?
I guess I'm confused by the mix of moving subtrees and hoisting.
The quickmove plugin provides a number of ways (including buttons) to
move subtrees to targets. You could create a node somewhere called
"stack-of-nodes" and set it as a target for "move to first child"
operations using quickmove. Then you'd have a button to move the
current node / subtree to the first child position of that node, so
your stack would be the children of a node in the tree, which seems
Leonine.
It wouldn't be hard to script a button to move those children back to
the current position - could show some code, but not sure I'm
answering
the question?
Cheers -Terry
Terry, thanks for your response. I guess I didn't pose the question
clearly enough; let me try again:
What I'm looking for might be called push/pop of "views" (and not
cut/paste operations), with a "view" being what I see when I have a
particular node hoisted. Ideally, this would also preserve the state
of the expanded and collapsed subtrees in that view, but that would
not be necessary. So, I don't want to change the tree structure, I
just want to change the way I'm looking at it.
Does this help?
Thanks!
Phil
--
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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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.
