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.InternalFrameListener
public void internalFrameClosing(javax.swing.event.InternalFrameEvent e)
internalFrameClosing
in interface javax.swing.event.InternalFrameListener
public void internalFrameClosed(javax.swing.event.InternalFrameEvent e)
internalFrameClosed
in interface javax.swing.event.InternalFrameListener
public void internalFrameIconified(javax.swing.event.InternalFrameEvent e)
internalFrameIconified
in interface javax.swing.event.InternalFrameListener
public void internalFrameDeiconified(javax.swing.event.InternalFrameEvent e)
internalFrameDeiconified
in interface javax.swing.event.InternalFrameListener
public void internalFrameActivated(javax.swing.event.InternalFrameEvent e)
internalFrameActivated
in interface javax.swing.event.InternalFrameListener
public void internalFrameDeactivated(javax.swing.event.InternalFrameEvent e)
internalFrameDeactivated
in interface javax.swing.event.InternalFrameListener
public void componentResized(java.awt.event.ComponentEvent e)
componentResized
in interface java.awt.event.ComponentListener
public void componentMoved(java.awt.event.ComponentEvent e)
componentMoved
in interface java.awt.event.ComponentListener
public void componentShown(java.awt.event.ComponentEvent e)
componentShown
in interface java.awt.event.ComponentListener
public void componentHidden(java.awt.event.ComponentEvent e)
componentHidden
in interface java.awt.event.ComponentListener
public java.awt.Container getWorkspace()
getWorkspace
in interface DesktopViewManager
public DesktopView newDesktopView(TaskGraphPanel panel)
newDesktopView
in interface DesktopViewManager
public void remove(DesktopView view)
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 view, 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