Package editor.settings
Class Settings
- java.lang.Object
-
- editor.settings.Settings
-
public class Settings extends Object
-
-
Constructor Summary
Constructors Constructor Description Settings()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Map<String,ISettings>
makeDefaultSettings()
Reset Gosu Lab application-level settings to defaults.static Map<String,ISettings>
makeDefaultSettings(Experiment experiment)
Reset Experiment-specific settings to defaults.static Map<String,ISettings>
mergeSettings(Map<String,ISettings> old)
static Map<String,ISettings>
mergeSettings(Map<String,ISettings> old, Experiment experiment)
Assumes settings map is ordered top-down in tree order
-
-
-
Method Detail
-
makeDefaultSettings
public static Map<String,ISettings> makeDefaultSettings(Experiment experiment)
Reset Experiment-specific settings to defaults.
-
makeDefaultSettings
public static Map<String,ISettings> makeDefaultSettings()
Reset Gosu Lab application-level settings to defaults.
-
mergeSettings
public static Map<String,ISettings> mergeSettings(Map<String,ISettings> old, Experiment experiment)
Assumes settings map is ordered top-down in tree order
-
-