!7 cmodule FullScreen { transient JButton btn; visual btn = jbutton("Full-Screen On/Off", r switchIt); void switchIt enter { JDesktopPane desktop = dm_desktopPane(); if (desktop == null) ret; Window w = getWindow(desktop); if (!isFullScreen(desktop)) { showFullScreen(frameTitle(desktop), desktop); pcall { frameIcon((S) dm_getOS('mainIconID), desktop); } cleanExitOnFrameClose_ifStillInSameFrame(desktop); } else { removeFromParent(desktop); dm_callOS('showDesktop); } // Allow closing empty "zombie" windows (why do we have these?) final JFrame f = getFrame(desktop); onFrameClosing(f, r { if (isEmptyFrame(f)) disposeWindow(f); }); disposeWindow(w); } }