X-Git-Url: https://mograsim.net/gitweb/?p=Mograsim.git;a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fpreferences%2FDefaultPluginPreferences.java;h=ae6d82814468dcc048f0810a483d21b359e4246d;hp=e3dcc72bcf30d8a199e0e416f0efe7fd11363bfc;hb=a737fba3e3ff7272fa58b3c85b11b7b21a93bf97;hpb=6680796a002ab84a55124af987f0ce8c7d832059

diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/DefaultPluginPreferences.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/DefaultPluginPreferences.java
index e3dcc72b..ae6d8281 100755
--- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/DefaultPluginPreferences.java
+++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/DefaultPluginPreferences.java
@@ -41,6 +41,16 @@ public class DefaultPluginPreferences extends DefaultPreferences implements Plug
 		}
 	}
 
+	@Override
+	public String getString(String name)
+	{
+		switch (name)
+		{
+		default:
+			throw new IllegalArgumentException("Unknown double preference name: " + name);
+		}
+	}
+
 	@Override
 	public ColorDefinition getColorDefinition(String name)
 	{