|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use PlaceholderList.Filter | |
|---|---|
| bibliothek.gui.dock.station.support | Elements used by various DockStations 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 Dockables of this list. |
PlaceholderList.Filter<PlaceholderList.Item> |
PlaceholderList.list()
Gets a mutable view of all elements of this list. |
PlaceholderList.Filter<Set<Path>> |
PlaceholderList.listPlaceholders()
Gets a mutable view of all elements of this list. |
PlaceholderList.Filter<Set<Path>> |
PlaceholderList.purePlaceholders()
Gets a mutable view of all pure placeholders of this list. |
| Methods in bibliothek.gui.dock.station.support with parameters of type PlaceholderList.Filter | |
|---|---|
void |
PlaceholderList.Filter.move(PlaceholderList.Filter<M> sourceList,
int sourceIndex,
int destination)
Moves an item from sourceList to this list. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||