/** * Create a JHelp using the TextHelpModel and HelpHistoryModel * * @param model A model to use for the content and all the navigators. If <tt>model</tt> * is null it is the same as creating without a TextHelpModel * @param history A history model. If <<tt>history</tt> is null it is the same * as creating without HelpHistoryModel */ public JHelp(TextHelpModel model, HelpHistoryModel history, HelpSet.Presentation hsPres){ super(); if(history == null) this.historyModel = new DefaultHelpHistoryModel(this); else this.historyModel = history; this.hsPres = hsPres; navigators = new Vector(); navDisplayed = true; // HERE -- need to do something about doc title changes.... this.contentViewer = new JHelpContentViewer(model); setModel(model); if (model != null) { setupNavigators(); } updateUI(); }
viewer = new JHelpContentViewer(model.getHelpSet()); viewer.setSynch(false); splitPane.setBottomComponent(viewer);
jheditor = new JHelpContentViewer(getHelpModel()); window.getRootPane().setBorder(BorderFactory.createLineBorder(Color.black, 2));