Searched refs:toolsMenu (Results 1 – 1 of 1) sorted by relevance
181 menuBar.add(toolsMenu()); in northPanel()725 public JMenu toolsMenu() { in toolsMenu() method in pmTop728 JMenu toolsMenu = new JMenu( in toolsMenu() local730 toolsMenu.setMnemonic( in toolsMenu()744 toolsMenu.add(find); in toolsMenu()745 return toolsMenu; in toolsMenu()