/** @param command */
private void changeSelection(String command) {
setProperty("selection_method", command);
// and update the selection method in the NodeMouseMotionListener
freemind.controller.NodeMouseMotionListener.updateSelectionMethod(c);
String statusBarString = c.getResourceString(command);
if (statusBarString != null) // should not happen
c.getFrame().out(statusBarString);
}
public void actionPerformed(ActionEvent e) {
try {
c.getFrame().openDocument(new URL("http://freemind.sourceforge.net/faq.html"));
} catch (MalformedURLException ex) {
c.errorMessage(c.getResourceString("url_error") + "\n" + ex);
} catch (Exception ex) {
c.errorMessage(ex);
}
}
public FreeMindMain getFrame() {
return c.getFrame();
}
