equal
deleted
inserted
replaced
137 |
137 |
138 public void handleConfigureNotifyEvent(XEvent xev) |
138 public void handleConfigureNotifyEvent(XEvent xev) |
139 { |
139 { |
140 assert (SunToolkit.isAWTLockHeldByCurrentThread()); |
140 assert (SunToolkit.isAWTLockHeldByCurrentThread()); |
141 XConfigureEvent xe = xev.get_xconfigure(); |
141 XConfigureEvent xe = xev.get_xconfigure(); |
142 if (xembedLog.isLoggable(PlatformLogger.FINE)) { |
142 if (xembedLog.isLoggable(PlatformLogger.Level.FINE)) { |
143 xembedLog.fine(xe.toString()); |
143 xembedLog.fine(xe.toString()); |
144 } |
144 } |
145 |
145 |
146 // fix for 5063031 |
146 // fix for 5063031 |
147 // if we use super.handleConfigureNotifyEvent() we would get wrong |
147 // if we use super.handleConfigureNotifyEvent() we would get wrong |