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

Print this page

        

*** 136,146 **** --- 136,148 ---- } removeEventFilter(filter); } void addEventFilter(EventFilter filter) { + if (eventLog.isLoggable(PlatformLogger.FINEST)) { eventLog.finest("adding the event filter: " + filter); + } synchronized (eventFilters) { if (!eventFilters.contains(filter)) { if (filter instanceof ModalEventFilter) { ModalEventFilter newFilter = (ModalEventFilter)filter; int k = 0;
*** 160,170 **** --- 162,174 ---- } } } void removeEventFilter(EventFilter filter) { + if (eventLog.isLoggable(PlatformLogger.FINEST)) { eventLog.finest("removing the event filter: " + filter); + } synchronized (eventFilters) { eventFilters.remove(filter); } }