public class PreferenceProperties
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DIAGRAM_IN_VIEW
The diagram in view.
|
static java.lang.String |
PALETTES_IN_VIEW
The palettes in view.
|
Constructor and Description |
---|
PreferenceProperties() |