private static int getWidthForFontIncrement(
     IntSetting widthSetting, Component component, int increment) {
   if (increment > 0) {
     return widthSetting.getValue() + 20 * increment + 4 * increment ^ 2;
   }
   return widthSetting.getValue();
 }
 private static int getHeightForFontIncrement(
     IntSetting heightSetting, Component component, int increment) {
   if (increment > 0) {
     return heightSetting.getValue() + 10 * increment + 18 * increment ^ 2;
   }
   return heightSetting.getValue();
 }
 @Override
 public void componentResized(ComponentEvent e) {
   Component c = e.getComponent();
   if (c.getWidth() != widthSetting.getValue() || c.getHeight() != heightSetting.getValue()) {
     widthSetting.setValue(c.getWidth());
     heightSetting.setValue(c.getHeight());
   }
 }
 public static void install(JDialog dialog, IntSetting widthSetting, IntSetting heightSetting) {
   int increment = ThemeSettings.FONT_SIZE_INCREMENT.getValue();
   int width =
       widthSetting.isDefault()
           ? getWidthForFontIncrement(widthSetting, dialog, increment)
           : widthSetting.getValue();
   int height =
       heightSetting.isDefault()
           ? getHeightForFontIncrement(heightSetting, dialog, increment)
           : heightSetting.getValue();
   dialog.setSize(width, height);
   dialog.addComponentListener(new SizeChangeListener(widthSetting, heightSetting));
 }
 public static void install(JDialog dialog, IntSetting widthSetting, IntSetting heightSetting) {
   int width = widthSetting.getValue();
   int height = heightSetting.getValue();
   dialog.setSize(width, height);
   dialog.addComponentListener(new SizeChangeListener(widthSetting, heightSetting));
 }