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();
}
}