X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=net.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2FThemePreferences.java;h=42da25d1dfb22e754cba2c2900860f09c074e246;hb=aacd9de307f43bd19065ace45688a49af064f5a5;hp=b4bc0aca2cb46ddb88591fae536f2fca8ca2cff8;hpb=70f60681406dbd8c54d3b6e254a7d1f8bffd268d;p=Mograsim.git

diff --git a/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java b/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java
index b4bc0aca..42da25d1 100644
--- a/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java
+++ b/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java
@@ -9,8 +9,10 @@ import org.eclipse.ui.statushandlers.StatusManager;
 import org.eclipse.ui.themes.ITheme;
 
 import net.mograsim.preferences.ColorDefinition;
+import net.mograsim.preferences.DefaultPreferences;
 import net.mograsim.preferences.Preferences;
 
+// TODO proper getInt/getDouble implementation, maybe via own preferences page?
 public class ThemePreferences extends Preferences
 {
 	private final ITheme theme;
@@ -20,6 +22,24 @@ public class ThemePreferences extends Preferences
 		this.theme = theme;
 	}
 
+	@Override
+	public boolean getBoolean(String name)
+	{
+		return new DefaultPreferences().getBoolean(name);
+	}
+
+	@Override
+	public int getInt(String name)
+	{
+		return new DefaultPreferences().getInt(name);
+	}
+
+	@Override
+	public double getDouble(String name)
+	{
+		return new DefaultPreferences().getDouble(name);
+	}
+
 	@Override
 	public ColorDefinition getColorDefinition(String name)
 	{