78     // desktop is used to get custom reports
  79     // for results processing
  80     private Desktop desktop;
  81 
  82     protected ReportTool(ToolManager m, Desktop d) {
  83         super(m, "report", "mergeReports.window.csh");
  84         setI18NTitle("tool.title");
  85         setShortTitle(uif.getI18NString("tool.shortTitle"));
  86         this.desktop = d;
  87         initGUI();
  88         I18NResourceBundle i18n = I18NResourceBundle.getBundleForClass(ReportTool.class);
  89         textShowing = i18n.getString("tool.helptext.showing");
  90         textHidden = i18n.getString("tool.helptext.hidden");
  91     }
  92 
  93     public JMenuBar getMenuBar() {
  94         return menuBar;
  95     }
  96 
  97     @Override
  98     protected void restore(Map map) {
  99     }
 100 
 101     protected void save(Map m) {
 102     }
 103 
 104     private void initGUI(){
 105         int dpi = uif.getDotsPerInch();
 106         setPreferredSize(new Dimension(6 * dpi, 4 * dpi));
 107         setLayout(new BorderLayout());
 108         htmlKit = new HTMLEditorKit();
 109 
 110         addHierarchyListener(listener);
 111 
 112         menuBar = uif.createMenuBar("tool");
 113         String[] reportMenuEntries = {
 114             NEW,
 115             OPEN
 116         };
 117 
 118         JMenu reportMenu = uif.createMenu("tool.report", reportMenuEntries, new Listener());
 119         menuBar.add(reportMenu);
 120         menuBar.add(uif.createHorizontalGlue("tool.pad"));
 121 

  78     // desktop is used to get custom reports
  79     // for results processing
  80     private Desktop desktop;
  81 
  82     protected ReportTool(ToolManager m, Desktop d) {
  83         super(m, "report", "mergeReports.window.csh");
  84         setI18NTitle("tool.title");
  85         setShortTitle(uif.getI18NString("tool.shortTitle"));
  86         this.desktop = d;
  87         initGUI();
  88         I18NResourceBundle i18n = I18NResourceBundle.getBundleForClass(ReportTool.class);
  89         textShowing = i18n.getString("tool.helptext.showing");
  90         textHidden = i18n.getString("tool.helptext.hidden");
  91     }
  92 
  93     public JMenuBar getMenuBar() {
  94         return menuBar;
  95     }
  96 
  97     @Override
  98     protected void restore(Map<String, String> map) {
  99     }
 100 
 101     protected void save(Map<String, String> m) {
 102     }
 103 
 104     private void initGUI(){
 105         int dpi = uif.getDotsPerInch();
 106         setPreferredSize(new Dimension(6 * dpi, 4 * dpi));
 107         setLayout(new BorderLayout());
 108         htmlKit = new HTMLEditorKit();
 109 
 110         addHierarchyListener(listener);
 111 
 112         menuBar = uif.createMenuBar("tool");
 113         String[] reportMenuEntries = {
 114             NEW,
 115             OPEN
 116         };
 117 
 118         JMenu reportMenu = uif.createMenu("tool.report", reportMenuEntries, new Listener());
 119         menuBar.add(reportMenu);
 120         menuBar.add(uif.createHorizontalGlue("tool.pad"));
 121