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

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)
 	{