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