}
}
- private Font lastSelected=null;
- private int lastSelStyle=0;
- private int lastSelSize=0;
- private boolean lastSelMono=false;
+ private Font lastSelected = null;
+
+ private int lastSelStyle = 0;
+
+ private int lastSelSize = 0;
+
+ private boolean lastSelMono = false;
+
/**
* DOCUMENT ME!
*/
void changeFont()
{
- if (lastSelected==null)
+ if (lastSelected == null)
{
// initialise with original font
- lastSelected=oldFont;
- lastSelSize=oldFont.getSize();
- lastSelStyle=oldFont.getStyle();
+ lastSelected = oldFont;
+ lastSelSize = oldFont.getSize();
+ lastSelStyle = oldFont.getStyle();
FontMetrics fm = getGraphics().getFontMetrics(oldFont);
- double mw=fm.getStringBounds("M", getGraphics())
- .getWidth(),iw=fm.getStringBounds("I", getGraphics())
- .getWidth();
- lastSelMono=mw==iw;
+ double mw = fm.getStringBounds("M", getGraphics()).getWidth(), iw = fm
+ .getStringBounds("I", getGraphics()).getWidth();
+ lastSelMono = mw == iw;
}
-
+
Font newFont = new Font(fontName.getSelectedItem().toString(),
fontStyle.getSelectedIndex(), Integer.parseInt(fontSize
.getSelectedItem().toString()));
FontMetrics fm = getGraphics().getFontMetrics(newFont);
- double mw=fm.getStringBounds("M", getGraphics())
- .getWidth(),iw=fm.getStringBounds("I", getGraphics())
- .getWidth();
- if (mw<1 || iw < 1) {
+ double mw = fm.getStringBounds("M", getGraphics()).getWidth(), iw = fm
+ .getStringBounds("I", getGraphics()).getWidth();
+ if (mw < 1 || iw < 1)
+ {
fontName.setSelectedItem(lastSelected.getName());
fontStyle.setSelectedIndex(lastSelStyle);
- fontSize.setSelectedItem(""+lastSelSize);
+ fontSize.setSelectedItem("" + lastSelSize);
monospaced.setSelected(lastSelMono);
- JOptionPane.showInternalMessageDialog(this, "Font doesn't have letters defined\nso cannot be used\nwith alignment data.", "Invalid Font", JOptionPane.WARNING_MESSAGE);
+ JOptionPane
+ .showInternalMessageDialog(
+ this,
+ "Font doesn't have letters defined\nso cannot be used\nwith alignment data.",
+ "Invalid Font", JOptionPane.WARNING_MESSAGE);
return;
}
if (tp != null)
ap.fontChanged();
}
-
- monospaced.setSelected(mw==iw);
+ monospaced.setSelected(mw == iw);
// remember last selected
- lastSelected=newFont;
+ lastSelected = newFont;
}
/**