Searched refs:selectionAfterUndo (Results 1 – 1 of 1) sorted by relevance
473 VisibleSelection selectionAfterUndo; in deleteKeyPressed() local478 selectionAfterUndo = selectionToDelete; in deleteKeyPressed()534 selectionAfterUndo = selectionToDelete; in deleteKeyPressed()539 … selectionAfterUndo.setWithoutValidation(startingSelection().end(), selectionToDelete.extent()); in deleteKeyPressed()560 setStartingSelection(selectionAfterUndo); in deleteKeyPressed()571 VisibleSelection selectionAfterUndo; in forwardDeleteKeyPressed() local576 selectionAfterUndo = selectionToDelete; in forwardDeleteKeyPressed()607 selectionAfterUndo = selectionToDelete; in forwardDeleteKeyPressed()623 selectionAfterUndo.setWithoutValidation(startingSelection().start(), extent); in forwardDeleteKeyPressed()642 setStartingSelection(selectionAfterUndo); in forwardDeleteKeyPressed()