public void run() {
// TODO: null can cause the dialog to appear on the wrong screen in a
// multi-monitor setup, but we just don't have a proper java.awt.Component
// here which we could use instead:
final AboutDialog about = new AboutDialog(messages, null);
about.show();
}
}
/**
* Called from grammar/spell checking dialog to ignore a rule (not called when "Ignore" is