resolution = resolutionField.getValue(); int resolution_units = resolutionUnitsBox.getSelectedIndex(); int units_to = S_UNITS_PIXELS;
   boolean showOptions()   {      int result =         JOptionPane.showOptionDialog(            null,            new Object[] { createRenderOptionsPanel()},            "Settings",            JOptionPane.OK_CANCEL_OPTION,            JOptionPane.PLAIN_MESSAGE,            null,            null,            null);      if (result == JOptionPane.CANCEL_OPTION)      {         return false;      }      //      settings.setDoubleProperty("render.width", widthField.getValue());      //      settings.setDoubleProperty("render.height", heightField.getValue());      settings.setIntegerProperty(         "render.width.pixels",         (int) widthField.getValue());      settings.setIntegerProperty(         "render.height.pixels",         (int) heightField.getValue());      try      {         settings.storeProperties();      }      catch (Exception e)      {         System.err.println("Error storing new settings");      }      return true;   }