}
private void fontChangeButtonActionPerformed(ActionEvent e) {
Font defaultFont = FontManager.getDefaultFont();
FontChooser chooser = new FontChooser(this, defaultFont);
chooser.setModal(true);
chooser.setVisible(true);
if (!chooser.isCanceled()) {
Font font = chooser.getSelectedFont();
if (font != null) {
prefMgr.put(PreferenceManager.DEFAULT_FONT_FAMILY, font.getFamily());
prefMgr.put(PreferenceManager.DEFAULT_FONT_SIZE, String.valueOf(font.getSize()));
int attrs = Font.PLAIN;
if (font.isBold()) attrs = Font.BOLD;