!752

static S skinName =
  //"Magellan"; // blue background is kind of hard to read
  "Creme";

p {
  enableSubstance_impl(skinName);
}

// Bug fixing

static JFrame newJFrame() { ret new JFrame; }

static void bug_showFullScreen(JFrame window) {
  GraphicsDevice gd = GraphicsEnvironment.getLocalGraphicsEnvironment()
    .getDefaultScreenDevice();
  gd.setFullScreenWindow(window);
}

static void bug_showFullScreenImage() {
  showFullScreenImage_disposeOnClick("#1005640");
}

Began life as a copy of #1003448