public interface DesktopViewManager
Modifier and Type | Method and Description |
---|---|
void |
addDesktopViewListener(DesktopViewListener listener) |
void |
desktopAdded() |
void |
desktopRemoved() |
DesktopView |
getDesktopViewFor(TaskGraphPanel panel) |
DesktopView |
getDropTarget(int x,
int y,
java.awt.Component source) |
DesktopView |
getSelected() |
DesktopView |
getTaskgraphViewFor(TaskGraph taskgraph) |
java.lang.String |
getTitle(DesktopView view) |
DesktopView[] |
getViews() |
java.awt.Container |
getWorkspace() |
DesktopView |
newDesktopView(TaskGraphPanel panel) |
void |
remove(DesktopView view) |
void |
removeDesktopViewListener(DesktopViewListener listener) |
void |
setSelected(DesktopView panel,
boolean selected) |
void |
setTitle(DesktopView view,
java.lang.String title) |
java.awt.Container getWorkspace()
DesktopView newDesktopView(TaskGraphPanel panel)
void remove(DesktopView view)
DesktopView getTaskgraphViewFor(TaskGraph taskgraph)
void addDesktopViewListener(DesktopViewListener listener)
void removeDesktopViewListener(DesktopViewListener listener)
DesktopView[] getViews()
void setSelected(DesktopView panel, boolean selected)
DesktopView getSelected()
DesktopView getDesktopViewFor(TaskGraphPanel panel)
java.lang.String getTitle(DesktopView view)
void setTitle(DesktopView view, java.lang.String title)
void desktopRemoved()
void desktopAdded()
DesktopView getDropTarget(int x, int y, java.awt.Component source)