X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=net.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2FThemePreferences.java;h=42da25d1dfb22e754cba2c2900860f09c074e246;hb=8bed58cd47f4e53a0a83e066d38864aa6875502f;hp=6ea0028e3fc210100bc2566501419703d3b1c917;hpb=23d21425001f8a848346c270ed10eb07897f0984;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 6ea0028e..42da25d1 100644 --- a/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java +++ b/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java @@ -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) {