|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PlaceholderList.Filter | |
---|---|
bibliothek.gui.dock.station.support | Elements used by various DockStation s to store
properties and to propagate events to other objects. |
Uses of PlaceholderList.Filter in bibliothek.gui.dock.station.support |
---|
Methods in bibliothek.gui.dock.station.support that return PlaceholderList.Filter | |
---|---|
PlaceholderList.Filter<P> |
PlaceholderList.dockables()
Gets a mutable view of all Dockable s of this list. |
PlaceholderList.Filter<PlaceholderList.Item> |
PlaceholderList.list()
Gets a mutable view of all elements of this list. |
PlaceholderList.Filter<java.util.Set<Path>> |
PlaceholderList.listPlaceholders()
Gets a mutable view of all elements of this list. |
PlaceholderList.Filter<java.util.Set<Path>> |
PlaceholderList.purePlaceholders()
Gets a mutable view of all pure placeholders of this list. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |