|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockTitleManager | |
---|---|
bibliothek.gui |
Uses of DockTitleManager in bibliothek.gui |
---|
Fields in bibliothek.gui declared as DockTitleManager | |
---|---|
private DockTitleManager |
DockController.dockTitles
a source for DockTitle |
Methods in bibliothek.gui that return DockTitleManager | |
---|---|
DockTitleManager |
DockController.getDockTitleManager()
Gets the manager of all titles on this controller |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |