private void createHelp() {
   try {
     SwingHelpUtilities.setContentViewerUI("uk.ac.ebi.pride.gui.help.ExternalLinkContentViewerUI");
     ClassLoader cl = PrideInspectorContext.class.getClassLoader();
     URL url = HelpSet.findHelpSet(cl, this.getProperty("help.main.set"));
     mainHelpSet = new HelpSet(cl, url);
     mainHelpBroker = mainHelpSet.createHelpBroker();
   } catch (HelpSetException e) {
     logger.error("Failed to initialize help documents", e);
   }
 }
Esempio n. 2
0
  protected void initializeHelpSystem() {
    try {

      // initialize help system
      HelpUtil.initOK();

      // tell help to use default browser for external types
      SwingHelpUtilities.setContentViewerUI("jmri.util.ExternalLinkContentViewerUI");

      // help items are set in the various Tree/Menu/Toolbar constructors
    } catch (Throwable e3) {
      log.error("Unexpected error creating help: " + e3);
    }
  }
Esempio n. 3
0
  protected void helpMenu(JMenuBar menuBar, WindowInterface wi) {
    try {

      // create menu and standard items
      JMenu helpMenu = HelpUtil.makeHelpMenu(mainWindowHelpID(), true);

      // tell help to use default browser for external types
      SwingHelpUtilities.setContentViewerUI("jmri.util.ExternalLinkContentViewerUI");

      // use as main help menu
      menuBar.add(helpMenu);

    } catch (Throwable e3) {
      log.error("Unexpected error creating help.", e3);
    }
  }