MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 19:02:13 +07:00
Code Issues Packages Projects Releases Wiki Activity

don't update mouse cursor for editor component unnecessarily (with multiple carets this introduces a notable performance penalty)

Browse Source 
(for IDEA-135620)
This commit is contained in:
Dmitry Batrak
2016-10-24 14:55:04 +03:00
parent 8917ba2e4c
commit 421ec22f83
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
+1 -1
View File
@@ -2031,7 +2031,7 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
restoreCaretRelativePosition();
}
if (EMPTY_CURSOR != null && !myIsViewer) {
if (!myIsViewer && EMPTY_CURSOR != null && EMPTY_CURSOR != myEditorComponent.getCursor()) {
myEditorComponent.setCursor(EMPTY_CURSOR);
}
}