void map() { if (!mapped) { X11Toolkit.pushModal(windowID); mapped = true; super.map(); } }
void setModal(boolean b) { if (mapped) { if (b) X11Toolkit.pushModal(windowID); else X11Toolkit.popModal(windowID); } }