TermOptionsPanel.java 文件源码

private void fontButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_fontButtonActionPerformed
PropertyEditor pe = PropertyEditorManager.findEditor(Font.class);
if (pe != null) {
    pe.setValue(termOptions.getFont());
    DialogDescriptor dd = new DialogDescriptor(pe.getCustomEditor(), FontChooser_title());

    String defaultFontString = FontChooser_defaultFont_label();
    dd.setOptions(new Object[]{DialogDescriptor.OK_OPTION,
    defaultFontString, DialogDescriptor.CANCEL_OPTION});  //NOI18N
    DialogDisplayer.getDefault().createDialog(dd).setVisible(true);
    if (dd.getValue() == DialogDescriptor.OK_OPTION) {
    Font f = (Font) pe.getValue();
    termOptions.setFont(f);
    applyTermOptions();
    } else if (dd.getValue() == defaultFontString) {
    Font controlFont = UIManager.getFont("controlFont");            //NOI18N
    int fontSize = (controlFont == null) ? 12 : controlFont.getSize();
    termOptions.setFont(new Font("monospaced", Font.PLAIN, fontSize));  //NOI18N
    }
}
   }