void unmap() {
if (mapped) {
X11Toolkit.popModal(windowID);
mapped = false;
super.unmap();
}
}
void setModal(boolean b) {
if (mapped) {
if (b) X11Toolkit.pushModal(windowID);
else X11Toolkit.popModal(windowID);
}
}
void dispose() {
X11Toolkit.popModal(windowID);
super.dispose();
}