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

prioritize any edt activity

Browse Source 
because when a user clicks somewhere (an InputEvent is posted, but not yet dispatched),
but EDT is busy, it should finish its activities ASAP
This commit is contained in:
peter
2016-12-01 20:07:11 +01:00
parent be0602878d
commit ed4fcbcd86
1 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/IdeEventQueue.java
+2 -5
View File
@@ -355,14 +355,10 @@ public class IdeEventQueue extends EventQueue {
boolean wasInputEvent = myIsInInputEvent;
myIsInInputEvent = isInputEvent(e);
if (myIsInInputEvent) {
HeavyProcessLatch.INSTANCE.prioritizeUiActivity();
} else {
HeavyProcessLatch.INSTANCE.stopThreadPrioritizing();
}
AWTEvent oldEvent = myCurrentEvent;
myCurrentEvent = e;
HeavyProcessLatch.INSTANCE.prioritizeUiActivity();
try (AccessToken ignored = startActivity(e)) {
_dispatchEvent(e, false);
}
@@ -370,6 +366,7 @@ public class IdeEventQueue extends EventQueue {
processException(t);
}
finally {
HeavyProcessLatch.INSTANCE.stopThreadPrioritizing();
myIsInInputEvent = wasInputEvent;
myCurrentEvent = oldEvent;