Searched refs:selectionAfterUndo (Results 1 – 1 of 1) sorted by relevance
418 VisibleSelection selectionAfterUndo; in deleteKeyPressed() local423 selectionAfterUndo = selectionToDelete; in deleteKeyPressed()481 selectionAfterUndo = selectionToDelete; in deleteKeyPressed()486 … selectionAfterUndo.setWithoutValidation(startingSelection().end(), selectionToDelete.extent()); in deleteKeyPressed()507 setStartingSelection(selectionAfterUndo); in deleteKeyPressed()522 VisibleSelection selectionAfterUndo; in forwardDeleteKeyPressed() local527 selectionAfterUndo = selectionToDelete; in forwardDeleteKeyPressed()561 selectionAfterUndo = selectionToDelete; in forwardDeleteKeyPressed()577 selectionAfterUndo.setWithoutValidation(startingSelection().start(), extent); in forwardDeleteKeyPressed()597 setStartingSelection(selectionAfterUndo); in forwardDeleteKeyPressed()