diff --git a/core/src/main/java/info/openrocket/core/preferences/ORPreferences.java b/core/src/main/java/info/openrocket/core/preferences/ORPreferences.java index a8f80188c..5db93d996 100644 --- a/core/src/main/java/info/openrocket/core/preferences/ORPreferences.java +++ b/core/src/main/java/info/openrocket/core/preferences/ORPreferences.java @@ -35,7 +35,7 @@ import info.openrocket.core.util.MathUtil; import info.openrocket.core.util.StateChangeListener; import info.openrocket.core.util.UniqueID; -public abstract class ORPreferences implements ChangeSource { +public abstract class ORPreferences implements ChangeSource, Preferences { private static final String SPLIT_CHARACTER = "|"; /* diff --git a/core/src/main/java/info/openrocket/core/preferences/Preferences.java b/core/src/main/java/info/openrocket/core/preferences/Preferences.java new file mode 100644 index 000000000..4032264d9 --- /dev/null +++ b/core/src/main/java/info/openrocket/core/preferences/Preferences.java @@ -0,0 +1,19 @@ +package info.openrocket.core.preferences; + +public interface Preferences { + boolean getBoolean(String key, boolean defaultValue); + + void putBoolean(String key, boolean value); + + int getInt(String key, int defaultValue); + + void putInt(String key, int value); + + double getDouble(String key, double defaultValue); + + void putDouble(String key, double value); + + String getString(String key, String defaultValue); + + void putString(String key, String value); +}