display.check_error();
}
private void clientMessage(ClientMessage event) {
if (event.window_id() == 0) {
Atom type = event.type();
if (type.name.equals("SERVER_SHUTDOWN")) {
System.err.println("Xremwin server shutdown detected");
exit_now = true;
return;
}
}
X11Client client
= (X11Client)X11Client.intern(this, event.window_id());
Atom type = event.type();
// client asks to change window state from normal to iconic
if (event.format() == 32 /*atom*/) {
if (type.name.equals("WM_CHANGE_STATE")
&& event.wm_data () == Window.WMHints.ICONIC)
{