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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewerImpl.java51 private VPSRadioButton fineMenuButton; field in class:ViewerImpl
89 pcs.removePropertyChangeListener("canPerformRPC", fineMenuButton);
112 fineMenuButton = new VPSRadioButton(this,fineAtom);
113 bg.add(fineMenuButton);
114 addMenuItem("Options", fineMenuButton);

Completed in 23 milliseconds