public static class DataPool.PPESettings
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static boolean |
saveOPMDummyLayersInPDB |
| Constructor and Description |
|---|
PPESettings() |
| Modifier and Type | Method and Description |
|---|---|
static void |
restoreSettings()
Restores the settings from the config file
|
static void |
storeSettings()
Stores the settings into the config
|