|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectbibliothek.gui.dock.station.screen.ScreenDockStationExtension.DropArguments
public static class ScreenDockStationExtension.DropArguments
A class offering all the arguments of the method ScreenDockStation.drop(Dockable, ScreenDockProperty, boolean)
| Constructor Summary | |
|---|---|
ScreenDockStationExtension.DropArguments()
|
|
| Method Summary | |
|---|---|
Dockable |
getDockable()
Gets the element which is about to be dropped |
ScreenDockProperty |
getProperty()
Gets the location at which the element will be dropped |
ScreenDockWindow |
getWindow()
Gets the window with which the element will be merged |
boolean |
isBoundsIncludeWindow()
If true, the bounds describe the size
of the resulting window. |
void |
setBoundsIncludeWindow(boolean boundsIncludeWindow)
Sets whether the boundaries of the location include the entire window. |
void |
setDockable(Dockable dockable)
Sets the dockable which is to be dropped. |
void |
setProperty(ScreenDockProperty property)
Sets the location at which the element is to be dropped. |
void |
setWindow(ScreenDockWindow window)
Sets the window with which the element will be merged |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public ScreenDockStationExtension.DropArguments()
| Method Detail |
|---|
public void setDockable(Dockable dockable)
dockable - the dockable, must not be nullpublic Dockable getDockable()
public void setProperty(ScreenDockProperty property)
property - the new location at which to drop the element, not nullpublic ScreenDockProperty getProperty()
nullpublic void setBoundsIncludeWindow(boolean boundsIncludeWindow)
boundsIncludeWindow - whether the entire window is includedisBoundsIncludeWindow()public boolean isBoundsIncludeWindow()
true, the bounds describe the size
of the resulting window. Otherwise the size of the window will be a bit larger
such that the title can be shown in the new space
public void setWindow(ScreenDockWindow window)
window - the merging window, can be nullpublic ScreenDockWindow getWindow()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||