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);
}
}