protected void initialiseExtraMenuItems(JMenuBar menuBar) { super.initialiseExtraMenuItems(menuBar); getOntologiesMenu(menuBar); this.extraReasonerMenuActions = initialiseExtraReasonerMenuActions(); rebuildReasonerMenu(menuBar); addReasonerListener(menuBar); updateTitleBar(); java.util.Optional<JMenu> menu = getWindowMenu(menuBar); if (!menu.isPresent()) { return; } JMenu windowMenu = menu.get(); windowMenu.addSeparator(); windowMenu.add(new AbstractAction("Refresh user interface") { public void actionPerformed(ActionEvent e) { refreshComponents(); } }); }
protected void initialiseExtraMenuItems(JMenuBar menuBar) { super.initialiseExtraMenuItems(menuBar); getOntologiesMenu(menuBar); this.extraReasonerMenuActions = initialiseExtraReasonerMenuActions(); rebuildReasonerMenu(menuBar); addReasonerListener(menuBar); updateTitleBar(); Optional<JMenu> menu = getWindowMenu(menuBar); if (!menu.isPresent()) { return; } JMenu windowMenu = menu.get(); windowMenu.addSeparator(); windowMenu.add(new AbstractAction("Refresh user interface") { public void actionPerformed(ActionEvent e) { refreshComponents(); } }); }
protected void initialiseExtraMenuItems(JMenuBar menuBar) { super.initialiseExtraMenuItems(menuBar); getOntologiesMenu(menuBar); rebuildReasonerMenu(menuBar); addReasonerListener(menuBar); updateTitleBar(); JMenu windowMenu = getWindowMenu(menuBar); windowMenu.addSeparator(); windowMenu.add(new AbstractAction("Refresh User Interface") { /** * */ private static final long serialVersionUID = 9136219526373256639L; public void actionPerformed(ActionEvent e) { refreshComponents(); } }); }
protected void initialiseExtraMenuItems(JMenuBar menuBar) { super.initialiseExtraMenuItems(menuBar); getOntologiesMenu(menuBar); rebuildReasonerMenu(menuBar); addReasonerListener(menuBar); updateTitleBar(); JMenu windowMenu = getWindowMenu(menuBar); windowMenu.addSeparator(); windowMenu.add(new AbstractAction("Refresh User Interface") { /** * */ private static final long serialVersionUID = 9136219526373256639L; public void actionPerformed(ActionEvent e) { refreshComponents(); } }); }