!752

p {
  GraphicsDevice gd = GraphicsEnvironment.getLocalGraphicsEnvironment()
    .getDefaultScreenDevice();
  if (!gd.isFullScreenSupported())
    fail("No full-screen mode supported!");
  final new JFrame window;
  window.add(jflow(jlabel("Hello world"),
    jPreferWidth(200, new JTextField), jbutton("Close", r {
    window.dispose();
  })));
  gd.setFullScreenWindow(window);
}