|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockTitleManager | |
---|---|
bibliothek.gui |
Uses of DockTitleManager in bibliothek.gui |
---|
Methods in bibliothek.gui that return DockTitleManager | |
---|---|
DockTitleManager |
DockController.getDockTitleManager()
Gets the manager of all titles on this controller |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |