throw new Error("not implemented");
DisplayMode dMode = getDisplayMode(); full_screen.setBounds(0, 0, dMode.getWidth(), dMode.getHeight()); full_screen.requestFocus(); full_screen.setLocationRelativeTo(null); }
  public synchronized void setFullScreenWindow(Window w)  {    if (full_screen != null)      ; // XXX Restore the previous window to normal mode.    full_screen = w;    // XXX If w != null, make it full-screen.    throw new Error("not implemented");  }