Text no longer jitters
[Mograsim.git] / net.mograsim.plugin.core / src / net / mograsim / plugin / ThemePreferences.java
index 6ea0028..42da25d 100644 (file)
@@ -22,6 +22,12 @@ 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)
        {