static JWindow showFullScreen_jwindow(final JComponent c) {
  ret (JWindow) swingAndWait(func {
    GraphicsDevice gd = GraphicsEnvironment.getLocalGraphicsEnvironment()
      .getDefaultScreenDevice();
    if (!gd.isFullScreenSupported())
      fail("No full-screen mode supported!");
    final new JWindow window;
    registerEscape_jwindow(window, r { disposeWindow(window) });
    window.add(wrap(c));
    gd.setFullScreenWindow(window);
    ret window;
  });
}