{
if (ap.getOverviewPanel() != null)
{
- // changes size of rectangle
- // BH 2019.07.29 -- updateOverviewImage forces a redraw, but all we are
- // doing is changing the box size.
-
- ap.getOverviewPanel().repaint();// updateOverviewImage();
+ ap.getOverviewPanel().updateOverviewImage();
}
}
}
@Override
public void defaultButton_actionPerformed()
{
- Cache.setProperty(Preferences.FONT_NAME, fontName.getSelectedItem().toString());
- Cache.setProperty(Preferences.FONT_STYLE, fontStyle.getSelectedIndex() + "");
- Cache.setProperty(Preferences.FONT_SIZE, fontSize.getSelectedItem().toString());
- Cache.setProperty(Preferences.ANTI_ALIAS,
+ Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());
+ Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + "");
+ Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());
+ Cache.setProperty("ANTI_ALIAS",
Boolean.toString(smoothFont.isSelected()));
Cache.setProperty(Preferences.SCALE_PROTEIN_TO_CDNA,
Boolean.toString(scaleAsCdna.isSelected()));