Searched defs:getDesktopManager (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ | ||
H A D | ViewerCommand.java | 55 protected DesktopManager getDesktopManager() method in class:ViewerCommand |
Completed in 22 milliseconds