@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());
}
}
@Override
public void componentResized(ComponentEvent e) {
int increment = ThemeSettings.FONT_SIZE_INCREMENT.getValue();
Component c = e.getComponent();
if (c.getWidth() != getWidthForFontIncrement(widthSetting, c, increment)
|| c.getHeight() != getHeightForFontIncrement(heightSetting, c, increment)) {
widthSetting.setValue(c.getWidth());
heightSetting.setValue(c.getHeight());
}
}