Ejemplo n.º 1
0
 void map() {
   if (!mapped) {
     X11Toolkit.pushModal(windowID);
     mapped = true;
     super.map();
   }
 }
Ejemplo n.º 2
0
 void unmap() {
   if (mapped) {
     X11Toolkit.popModal(windowID);
     mapped = false;
     super.unmap();
   }
 }
Ejemplo n.º 3
0
 void setModal(boolean b) {
   if (mapped) {
     if (b) X11Toolkit.pushModal(windowID);
     else X11Toolkit.popModal(windowID);
   }
 }
Ejemplo n.º 4
0
 void dispose() {
   X11Toolkit.popModal(windowID);
   super.dispose();
 }