Package | Description |
---|---|
bibliothek.extension.gui.dock.preference |
Generic collection of preferences used in this framework.
|
Modifier and Type | Method and Description |
---|---|
void |
MergedPreferenceModel.remove(MergedPreferenceModel model)
Removes
model from this merged model. |