public class FramesManager extends java.lang.Object implements javax.swing.event.InternalFrameListener, java.awt.event.ComponentListener, DesktopViewManager
| Modifier and Type | Field and Description |
|---|---|
static int |
MIN_D_HEIGHT |
static int |
MIN_D_WIDTH |
static int |
MIN_HEIGHT |
static int |
MIN_WIDTH |
| Constructor and Description |
|---|
FramesManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
addDesktopViewListener(DesktopViewListener listener) |
void |
componentHidden(java.awt.event.ComponentEvent e) |
void |
componentMoved(java.awt.event.ComponentEvent e) |
void |
componentResized(java.awt.event.ComponentEvent e) |
void |
componentShown(java.awt.event.ComponentEvent e) |
void |
desktopAdded() |
void |
desktopRemoved() |
javax.swing.JDesktopPane |
getDesktop() |
DesktopView |
getDesktopViewFor(TaskGraphPanel panel) |
DesktopView |
getDropTarget(int x,
int y,
java.awt.Component source) |
static FramesManager |
getManager() |
DesktopView |
getSelected() |
DesktopView |
getTaskgraphViewFor(TaskGraph taskgraph) |
java.lang.String |
getTitle(DesktopView view) |
DesktopView[] |
getViews() |
java.awt.Container |
getWorkspace() |
void |
internalFrameActivated(javax.swing.event.InternalFrameEvent e) |
void |
internalFrameClosed(javax.swing.event.InternalFrameEvent e) |
void |
internalFrameClosing(javax.swing.event.InternalFrameEvent e) |
void |
internalFrameDeactivated(javax.swing.event.InternalFrameEvent e) |
void |
internalFrameDeiconified(javax.swing.event.InternalFrameEvent e) |
void |
internalFrameIconified(javax.swing.event.InternalFrameEvent e) |
void |
internalFrameOpened(javax.swing.event.InternalFrameEvent e) |
DesktopView |
newDesktopView(TaskGraphPanel panel) |
void |
remove(DesktopView view) |
void |
removeDesktopViewListener(DesktopViewListener listener) |
void |
setSelected(DesktopView view,
boolean sel) |
void |
setSize(FramesView frame) |
void |
setTitle(DesktopView view,
java.lang.String title) |
public static final int MIN_WIDTH
public static final int MIN_HEIGHT
public static final int MIN_D_WIDTH
public static final int MIN_D_HEIGHT
public static FramesManager getManager()
public javax.swing.JDesktopPane getDesktop()
public void setSize(FramesView frame)
public void internalFrameOpened(javax.swing.event.InternalFrameEvent e)
internalFrameOpened in interface javax.swing.event.InternalFrameListenerpublic void internalFrameClosing(javax.swing.event.InternalFrameEvent e)
internalFrameClosing in interface javax.swing.event.InternalFrameListenerpublic void internalFrameClosed(javax.swing.event.InternalFrameEvent e)
internalFrameClosed in interface javax.swing.event.InternalFrameListenerpublic void internalFrameIconified(javax.swing.event.InternalFrameEvent e)
internalFrameIconified in interface javax.swing.event.InternalFrameListenerpublic void internalFrameDeiconified(javax.swing.event.InternalFrameEvent e)
internalFrameDeiconified in interface javax.swing.event.InternalFrameListenerpublic void internalFrameActivated(javax.swing.event.InternalFrameEvent e)
internalFrameActivated in interface javax.swing.event.InternalFrameListenerpublic void internalFrameDeactivated(javax.swing.event.InternalFrameEvent e)
internalFrameDeactivated in interface javax.swing.event.InternalFrameListenerpublic void componentResized(java.awt.event.ComponentEvent e)
componentResized in interface java.awt.event.ComponentListenerpublic void componentMoved(java.awt.event.ComponentEvent e)
componentMoved in interface java.awt.event.ComponentListenerpublic void componentShown(java.awt.event.ComponentEvent e)
componentShown in interface java.awt.event.ComponentListenerpublic void componentHidden(java.awt.event.ComponentEvent e)
componentHidden in interface java.awt.event.ComponentListenerpublic java.awt.Container getWorkspace()
getWorkspace in interface DesktopViewManagerpublic DesktopView newDesktopView(TaskGraphPanel panel)
newDesktopView in interface DesktopViewManagerpublic void remove(DesktopView view)
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 view, 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 DesktopViewManager