editor.settings

Class Settings

java.lang.Object

editor.settings.Settings

public class Settings
extends Object

Constructor Summary

Constructors

Constructor and Description
Settings()

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Settings

public Settings()

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

mergeSettings

public static Map<String,ISettings> mergeSettings(Map<String,ISettings> old)