Go forwards or backwards in the history of a stacked-tree.
A stacked-tree has a ring of 50 elements in which it records the
root-width
and scroll position before each change of the
root-width
, and before each user left-click. The function stacked-tree-history-backward
goes to the previous record of
stacked-tree
, and the function stacked-tree-history-backward
goes to the next record. Going to the previous/next record means changing the
root-width
and scroll position to their recorded values, and making this record the current one.
The meaning of root-width is explained in stacked-tree.
stacked-tree-history-forward
and stacked-tree-history-backward
are used by the Ctrl-b
and Ctrl-f
gestures and you can use them to implement your own gestures. The &rest
ignore
means that you can use these functions in the input-model directly.
CAPI User Guide and Reference Manual (Windows version) - 3 Aug 2017