|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockFrontendListener | |
---|---|
bibliothek.gui |
Uses of DockFrontendListener in bibliothek.gui |
---|
Fields in bibliothek.gui with type parameters of type DockFrontendListener | |
---|---|
private java.util.List<DockFrontendListener> |
DockFrontend.listeners
A list of observers |
Methods in bibliothek.gui that return DockFrontendListener | |
---|---|
protected DockFrontendListener[] |
DockFrontend.listeners()
Gets an independent array containing all currently registered listeners. |
Methods in bibliothek.gui with parameters of type DockFrontendListener | |
---|---|
void |
DockFrontend.addFrontendListener(DockFrontendListener listener)
Adds a listener to this frontend. |
void |
DockFrontend.removeFrontendListener(DockFrontendListener listener)
Removes an earlier added listener from this frontend. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |