equal
deleted
inserted
replaced
393 // process it here. |
393 // process it here. |
394 if (xclient.get_window() == sourceWindow) { |
394 if (xclient.get_window() == sourceWindow) { |
395 return false; |
395 return false; |
396 } |
396 } |
397 |
397 |
398 if (logger.isLoggable(PlatformLogger.FINEST)) { |
398 if (logger.isLoggable(PlatformLogger.Level.FINEST)) { |
399 logger.finest(" sourceWindow=" + sourceWindow + |
399 logger.finest(" sourceWindow=" + sourceWindow + |
400 " get_window=" + xclient.get_window() + |
400 " get_window=" + xclient.get_window() + |
401 " xclient=" + xclient); |
401 " xclient=" + xclient); |
402 } |
402 } |
403 xclient.set_data(0, xclient.get_window()); |
403 xclient.set_data(0, xclient.get_window()); |