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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewerActivationCommand.java44 getDesktopManager().activateFrame(getInternalFrame());
47 getDesktopManager().deactivateFrame(getInternalFrame());
H A DViewerCommand.java55 protected DesktopManager getDesktopManager() method in class:ViewerCommand
57 DesktopManager dm = getInternalFrame().getDesktopPane().getDesktopManager();
H A DViewerInternalFrameBoundsCommand.java42 getDesktopManager().resizeFrame(getInternalFrame(),

Completed in 30 milliseconds