X-Git-Url: https://mograsim.net/gitweb/?p=Mograsim.git;a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fpreferences%2FEclipsePreferences.java;h=e238f8b004af88f9dca80ba5ca852fa071bcdfe4;hp=c57c443e302844ca6d9d657b61510e7a7ed71823;hb=a737fba3e3ff7272fa58b3c85b11b7b21a93bf97;hpb=6680796a002ab84a55124af987f0ce8c7d832059 diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePreferences.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePreferences.java index c57c443e..e238f8b0 100755 --- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePreferences.java +++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePreferences.java @@ -30,6 +30,7 @@ public class EclipsePreferences implements Preferences private final ListenerManager booleanListeners; private final ListenerManager intListeners; private final ListenerManager doubleListeners; + private final ListenerManager stringListeners; private final ListenerManager colorDefinitionListeners; protected EclipsePreferences(ITheme theme, IPreferenceStore prefs, Preferences defaultPrefs) @@ -41,6 +42,7 @@ public class EclipsePreferences implements Preferences this.booleanListeners = new ListenerManager<>(this::getBoolean); this.intListeners = new ListenerManager<>(this::getInt); this.doubleListeners = new ListenerManager<>(this::getDouble); + this.stringListeners = new ListenerManager<>(this::getString); this.colorDefinitionListeners = new ListenerManager<>(this::getColorDefinition); } @@ -65,6 +67,13 @@ public class EclipsePreferences implements Preferences return prefs.getDouble(name); } + @Override + public String getString(String name) + { + prefs.setDefault(name, defaultPrefs.getString(name)); + return prefs.getString(name); + } + @Override public ColorDefinition getColorDefinition(String name) { @@ -124,6 +133,18 @@ public class EclipsePreferences implements Preferences doubleListeners.removeListener(name, listener); } + @Override + public void addStringListener(String name, Consumer listener) + { + stringListeners.addListener(name, listener); + } + + @Override + public void removeStringListener(String name, Consumer listener) + { + stringListeners.removeListener(name, listener); + } + @Override public void addColorDefinitionListener(String name, Consumer listener) {