public class TabManager extends java.lang.Object implements DesktopViewManager, javax.swing.event.ChangeListener
| Constructor and Description |
|---|
TabManager() |
| 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) |
static TabManager |
getManager() |
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 tab) |
void |
removeDesktopViewListener(DesktopViewListener listener) |
void |
setSelected(DesktopView panel,
boolean sel) |
void |
setTitle(DesktopView view,
java.lang.String title) |
void |
stateChanged(javax.swing.event.ChangeEvent evt) |
public static TabManager getManager()
public java.awt.Container getWorkspace()
getWorkspace in interface DesktopViewManagerpublic DesktopView newDesktopView(TaskGraphPanel panel)
newDesktopView in interface DesktopViewManagerpublic void remove(DesktopView tab)
remove in interface DesktopViewManagerpublic DesktopView getTaskgraphViewFor(TaskGraph taskgraph)
getTaskgraphViewFor in interface DesktopViewManagerpublic void addDesktopViewListener(DesktopViewListener listener)
addDesktopViewListener in interface DesktopViewManagerpublic void removeDesktopViewListener(DesktopViewListener listener)
removeDesktopViewListener in interface DesktopViewManagerpublic DesktopView[] getViews()
getViews in interface DesktopViewManagerpublic void setSelected(DesktopView panel, boolean sel)
setSelected in interface DesktopViewManagerpublic DesktopView getSelected()
getSelected in interface DesktopViewManagerpublic DesktopView getDesktopViewFor(TaskGraphPanel panel)
getDesktopViewFor in interface DesktopViewManagerpublic java.lang.String getTitle(DesktopView view)
getTitle in interface DesktopViewManagerpublic void setTitle(DesktopView view, java.lang.String title)
setTitle in interface DesktopViewManagerpublic void desktopRemoved()
desktopRemoved in interface DesktopViewManagerpublic void desktopAdded()
desktopAdded in interface DesktopViewManagerpublic DesktopView getDropTarget(int x, int y, java.awt.Component source)
getDropTarget in interface DesktopViewManagerpublic void stateChanged(javax.swing.event.ChangeEvent evt)
stateChanged in interface javax.swing.event.ChangeListener