public void actionPerformed(ActionEvent evt) {
   if (evt.getSource() == ok) dispose();
   else if (evt.getSource() == pluginMgr) {
     new org.gjt.sp.jedit.pluginmgr.PluginManager(
         JOptionPane.getFrameForComponent(ErrorListDialog.this));
   }
 }
    public void actionPerformed(ActionEvent evt) {
      Font font;

      JDialog dialog = GUIUtilities.getParentDialog(FontSelector.this);
      if (dialog == null) {
        font =
            new FontSelectorDialog(
                    JOptionPane.getFrameForComponent(FontSelector.this),
                    getFont(),
                    FontSelector.this)
                .getSelectedFont();
      } else {
        font = new FontSelectorDialog(dialog, getFont(), FontSelector.this).getSelectedFont();
      }

      if (font != null) {
        setFont(font);
        updateText();
      }
    }