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
|