Searched refs:addMenuItem (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
H A D | ViewerImpl.java | 108 addMenuItem("Options", haeCheckBox); 109 addMenuItem("Options", hacCheckBox); 110 addMenuItem("Options", halbCheckBox); 114 addMenuItem("Options", fineMenuButton); 117 addMenuItem("Options", coarseMenuButton); 120 addMenuItem("Options", timedMenuButton); 242 private void addMenuItem(Map menuTitleMap, method in class:ViewerImpl 281 protected void addMenuItem(String menuTitle, Object item) method in class:ViewerImpl 283 addMenuItem(menuTitleToMenu, jMenuBar, menuTitle, item); 292 addMenuItem(menuTitleToPopupMen [all...] |
H A D | ViewerManagerFrame.java | 60 // title (see method addMenuItem) 165 private void addMenuItem(String menuTitle, Object item) method in class:ViewerManagerFrame 196 addMenuItem("File", new LoadAction()); 197 addMenuItem("File", new SaveAction()); 198 addMenuItem("File", new ExitAction()); 208 addMenuItem("Options",
|
H A D | ContainerViewer.java | 144 addMenuItem("Options", trackUpdatesMenuItem);
|
Completed in 176 milliseconds