/** @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);
   }
 }
Esempio n. 3
0
 public FreeMindMain getFrame() {
   return c.getFrame();
 }