src/share/classes/java/awt/EventDispatchThread.java

Print this page

        

*** 110,120 **** } void pumpEventsForFilter(int id, Conditional cond, EventFilter filter) { addEventFilter(filter); doDispatch = true; ! while (doDispatch && !isInterrupted() && cond.evaluate()) { pumpOneEventForFilters(id); } removeEventFilter(filter); } --- 110,121 ---- } void pumpEventsForFilter(int id, Conditional cond, EventFilter filter) { addEventFilter(filter); doDispatch = true; ! while ((doDispatch || getEventQueue().peekEvent() != null) ! && !isInterrupted() && cond.evaluate()) { pumpOneEventForFilters(id); } removeEventFilter(filter); }