30073008300930103011301230133014301530163017
// execute the command command.execute(); // restore the selection and scroll position anchoredSelection.apply(); docDisplay_.scrollToY(scrollPosition); } private void executeSweaveChunk(Scope chunk, boolean scrollNearTop) {