|
"SelectionScroll"
"SelectionScroll" is a front end token that scrolls to bring the top of the current selection to the top of the window if the selection is not currently visible.
This token is equivalent to the menu command Find Scroll to Selection.
To execute a front end token, you typically evaluate a command of the form FrontEndExecute[FrontEndToken[token]].
|