src/vs/editor/contrib/cursorUndo/browser/cursorUndo.ts/CursorUndoRedoController/cursorRedo
class CursorUndoRedoController:	public cursorRedo(): void {
		if (!this._editor.hasModel() || this._redoStack.length === 0) {
			return;
		}

		this._undoStack.push(new StackElement(new CursorState(this._editor.getSelections()), this._editor.getScrollTop(), this._editor.getScrollLeft()));
		this._applyState(this._redoStack.pop()!);
	}