Fixed a bug in Am2900; created dlatch8/80; relayouted some components

[Mograsim.git] / net.mograsim.plugin.core / src / net / mograsim / plugin / ThemePreferences.java

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 b4bc0ac..42da25d 100644 (file)
--- 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)
        {