Searched refs:addMenuItem (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewerImpl.java108 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 DViewerManagerFrame.java60 // 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 DContainerViewer.java144 addMenuItem("Options", trackUpdatesMenuItem);

Completed in 176 milliseconds