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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewerCloseCommand.java28 public class ViewerCloseCommand extends ViewerCommand { class in inherits:ViewerCommand
30 public ViewerCloseCommand(Viewer viewer) { method in class:ViewerCloseCommand
H A DViewerManagerFrame.java491 (new ViewerCloseCommand(viewer)).issue();

Completed in 31 milliseconds