Improved preference handling in plugin.core

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

diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java
deleted file mode 100644 (file)
index 42da25d..0000000
--- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java
+++ /dev/null
@@ -1,65 +0,0 @@
-package net.mograsim.plugin;
-
-import org.eclipse.core.runtime.IStatus;
-import org.eclipse.core.runtime.Status;
-import org.eclipse.jface.resource.ColorRegistry;
-import org.eclipse.swt.graphics.Color;
-import org.eclipse.swt.graphics.RGB;
-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;
-
-       public ThemePreferences(ITheme theme)
-       {
-               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)
-       {
-               RGB rgb = getColorRegistry().getRGB(name);
-               if (rgb == null)
-               {
-                       StatusManager.getManager().handle(new Status(IStatus.ERROR, "net.mograsim.plugin.core", "No color for name " + name));
-                       return null;
-               }
-               return new ColorDefinition(rgb.red, rgb.green, rgb.blue);
-       }
-
-       @Override
-       public Color getColor(String name)
-       {
-               return getColorRegistry().get(name);
-       }
-
-       private ColorRegistry getColorRegistry()
-       {
-               return theme.getColorRegistry();
-       }
-}
\ No newline at end of file