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