MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/master'

Browse Source
This commit is contained in:
Alexander Lobas
2012-05-25 13:13:26 +04:00
parent 40c8059e10 b6d1904866
commit a757243441
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/openapi/editor/EditorModificationUtil.java
+5 -1
View File
@@ -45,11 +45,15 @@ public class EditorModificationUtil {
int selectionEnd = selectionModel.getSelectionEnd();
final CaretModel caretModel = editor.getCaretModel();
final int caretOffset = caretModel.getOffset();
boolean restorePosition = caretOffset > selectionStart && caretOffset < selectionEnd;
final VisualPosition position = caretModel.getVisualPosition();
caretModel.moveToOffset(selectionStart);
selectionModel.removeSelection();
editor.getDocument().deleteString(selectionStart, selectionEnd);
caretModel.moveToVisualPosition(position); // Try to preserve visual caret position
if (restorePosition) {
caretModel.moveToVisualPosition(position); // Try to preserve visual caret position.
}
editor.getScrollingModel().scrollToCaret(ScrollType.RELATIVE);
}