src/share/classes/java/awt/EventDispatchThread.java
Print this page
@@ -136,11 +136,13 @@
}
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,11 +162,13 @@
}
}
}
void removeEventFilter(EventFilter filter) {
+ if (eventLog.isLoggable(PlatformLogger.FINEST)) {
eventLog.finest("removing the event filter: " + filter);
+ }
synchronized (eventFilters) {
eventFilters.remove(filter);
}
}