changeset 3972 | 8942e64cf57d |
parent 3938 | ef327bd847c0 |
parent 3968 | 7f37f405ff5a |
child 4214 | 0fa32d38146b |
3940:c6231c81f65c | 3972:8942e64cf57d |
---|---|
323 ((XAWTXSettings)xs).dispose(); |
323 ((XAWTXSettings)xs).dispose(); |
324 } |
324 } |
325 freeXKB(); |
325 freeXKB(); |
326 if (log.isLoggable(PlatformLogger.FINE)) { |
326 if (log.isLoggable(PlatformLogger.FINE)) { |
327 dumpPeers(); |
327 dumpPeers(); |
328 } |
|
329 |
|
330 awtLock(); |
|
331 try { |
|
332 XlibWrapper.XSetErrorHandler(saved_error_handler); |
|
333 } finally { |
|
334 awtUnlock(); |
|
335 } |
328 } |
336 } |
329 } |
337 }); |
330 }); |
338 } |
331 } |
339 |
332 |