|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface FlapWindow
This window pops up if the user presses one of the buttons of a
FlapDockStation. The window shows one Dockable. How exactly
to display the Dockable is up to the window.
| Method Summary | |
|---|---|
boolean |
containsScreenPoint(java.awt.Point point)
Tells whether this window contains point which is a
point of the screen. |
void |
destroy()
Informs this window that it is no longer used by its owner and will never be used again. |
Dockable |
getDockable()
Gets the Dockable which is shown on this window. |
java.awt.Insets |
getDockableInsets()
Makes a guess how big the insets around the current Dockable
of this window are. |
DockTitle |
getDockTitle()
Gets the title which is currently displayed |
java.awt.Rectangle |
getWindowBounds()
Gets the current boundaries of this window in screen coordinates. |
boolean |
isWindowVisible()
Tells whether this window is shown or hidden. |
void |
repaint()
Tells this window that is should redraw its entire content. |
void |
setController(DockController controller)
Informs this FlapWindow about the DockController in whose realm |
void |
setDockable(Dockable dockable)
Sets the Dockable which will be shown on this window. |
void |
setDockTitle(DockTitleVersion title)
Tells this window how to create a title for any Dockable that
may be shown on it. |
void |
setDropInfo(FlapDropInfo dropInfo)
Sets information where a Dockable will be dropped. |
void |
setWindowVisible(boolean flag)
Shows or hides this window. |
void |
updateBounds()
Recalculates the size and the location of this window such that it matches the size and location of its parent FlapDockStation. |
| Method Detail |
|---|
void setWindowVisible(boolean flag)
flag - whether to show this windowboolean isWindowVisible()
true if the window is shownvoid repaint()
void destroy()
java.awt.Rectangle getWindowBounds()
boolean containsScreenPoint(java.awt.Point point)
point which is a
point of the screen.
point - a point on the screen
true if this window contains pointvoid setDropInfo(FlapDropInfo dropInfo)
Dockable will be dropped. This window
may draw some markings if the drop-information matches the location of
this windows Dockable.
dropInfo - the information or nullvoid setDockTitle(DockTitleVersion title)
Dockable that
may be shown on it.
title - the title or nullDockTitle getDockTitle()
nullvoid setDockable(Dockable dockable)
Dockable which will be shown on this window.
dockable - The Dockable or nullDockable getDockable()
Dockable which is shown on this window.
Dockable or nullvoid setController(DockController controller)
FlapWindow about the DockController in whose realm
controller - the controller or nulljava.awt.Insets getDockableInsets()
Dockable
of this window are.
void updateBounds()
FlapDockStation.
FlapDockStation.getWindowSize(Dockable),
FlapDockStation.getWindowMinSize(),
FlapDockStation.getExpansionBounds()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||