src/share/classes/java/awt/EventDispatchThread.java
Print this page
@@ -136,11 +136,11 @@
}
removeEventFilter(filter);
}
void addEventFilter(EventFilter filter) {
- if (eventLog.isLoggable(PlatformLogger.FINEST)) {
+ if (eventLog.isLoggable(PlatformLogger.Level.FINEST)) {
eventLog.finest("adding the event filter: " + filter);
}
synchronized (eventFilters) {
if (!eventFilters.contains(filter)) {
if (filter instanceof ModalEventFilter) {
@@ -162,11 +162,11 @@
}
}
}
void removeEventFilter(EventFilter filter) {
- if (eventLog.isLoggable(PlatformLogger.FINEST)) {
+ if (eventLog.isLoggable(PlatformLogger.Level.FINEST)) {
eventLog.finest("removing the event filter: " + filter);
}
synchronized (eventFilters) {
eventFilters.remove(filter);
}
@@ -207,11 +207,11 @@
event.consume();
}
}
while (eventOK == false);
- if (eventLog.isLoggable(PlatformLogger.FINEST)) {
+ if (eventLog.isLoggable(PlatformLogger.Level.FINEST)) {
eventLog.finest("Dispatching: " + event);
}
Object handle = null;
if (delegate != null) {
@@ -234,11 +234,11 @@
processException(e);
}
}
private void processException(Throwable e) {
- if (eventLog.isLoggable(PlatformLogger.FINE)) {
+ if (eventLog.isLoggable(PlatformLogger.Level.FINE)) {
eventLog.fine("Processing exception: " + e);
}
getUncaughtExceptionHandler().uncaughtException(this, e);
}