|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockFrontend | |
---|---|
bibliothek.extension.gui.dock.station.split | |
bibliothek.gui.dock.event | |
bibliothek.gui.dock.frontend |
Uses of DockFrontend in bibliothek.extension.gui.dock.station.split |
---|
Methods in bibliothek.extension.gui.dock.station.split with parameters of type DockFrontend | |
---|---|
void |
DockFrontendSizeManager.setFrontend(DockFrontend frontend)
Sets the frontend for which this manager works. |
Uses of DockFrontend in bibliothek.gui.dock.event |
---|
Methods in bibliothek.gui.dock.event that return DockFrontend | |
---|---|
DockFrontend |
VetoableDockFrontendEvent.getFrontend()
Gets the source of the event. |
Methods in bibliothek.gui.dock.event with parameters of type DockFrontend | |
---|---|
void |
DockFrontendAdapter.added(DockFrontend frontend,
Dockable dockable)
|
void |
DockFrontendListener.added(DockFrontend frontend,
Dockable dockable)
Informs this listener that an additional dockable has
been added to the list of known Dockable s of frontend . |
void |
DockFrontendAdapter.deleted(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.deleted(DockFrontend frontend,
String name)
Invoked if a setting was deleted. |
void |
DockFrontendAdapter.hidden(DockFrontend fronend,
Dockable dockable)
|
void |
DockFrontendListener.hidden(DockFrontend frontend,
Dockable dockable)
Invoked if a Dockable was made invisible. |
void |
DockFrontendAdapter.hideable(DockFrontend frontend,
Dockable dockable,
boolean hideable)
|
void |
DockFrontendListener.hideable(DockFrontend frontend,
Dockable dockable,
boolean hideable)
Called when the hideable -state
of dockable changes. |
void |
DockFrontendAdapter.loaded(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.loaded(DockFrontend frontend,
String name)
Invoked if a new setting was loaded. |
void |
DockFrontendAdapter.read(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.read(DockFrontend frontend,
String name)
Called when a setting was read. |
void |
DockFrontendAdapter.removed(DockFrontend frontend,
Dockable dockable)
|
void |
DockFrontendListener.removed(DockFrontend frontend,
Dockable dockable)
Informs this listener that dockable has been removed
from the list of known Dockable s of frontend . |
void |
DockFrontendAdapter.saved(DockFrontend frontend,
String name)
|
void |
DockFrontendListener.saved(DockFrontend frontend,
String name)
Invoked if the current setting was saved with the name name . |
void |
DockFrontendAdapter.shown(DockFrontend frontend,
Dockable dockable)
|
void |
DockFrontendListener.shown(DockFrontend frontend,
Dockable dockable)
Invoked if a Dockable was made visible. |
Constructors in bibliothek.gui.dock.event with parameters of type DockFrontend | |
---|---|
VetoableDockFrontendEvent(DockFrontend frontend,
boolean cancelable,
boolean expected,
Dockable... dockables)
Creates a new event |
Uses of DockFrontend in bibliothek.gui.dock.frontend |
---|
Methods in bibliothek.gui.dock.frontend that return DockFrontend | |
---|---|
DockFrontend |
VetoManager.getFrontend()
Gets the owner of this manager. |
Constructors in bibliothek.gui.dock.frontend with parameters of type DockFrontend | |
---|---|
RegisteringDockFactory(DockFrontend frontend,
DockFactory<D,L> factory)
Creates a new factory |
|
VetoManager(DockFrontend frontend)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |