mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fixing CPP-11457: Navigation between marked occurrences - navigation doesn't require write permissions
This commit is contained in:
+5
@@ -66,6 +66,11 @@ import java.util.Comparator;
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean startInWriteAction() {
|
||||
return false;
|
||||
}
|
||||
|
||||
private static void moveCaret(Editor editor, Caret caret, int offset) {
|
||||
caret.removeSelection();
|
||||
caret.moveToOffset(offset);
|
||||
|
||||
Reference in New Issue
Block a user