Text no longer jitters

[Mograsim.git] / net.mograsim.preferences / src / net / mograsim / preferences / DefaultPreferences.java

diff --git a/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java b/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java
index 8083680..d2c2342 100644 (file)
--- a/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java
+++ b/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java
@@ -4,6 +4,18 @@ import net.mograsim.preferences.ColorDefinition.BuiltInColor;
 
 public class DefaultPreferences extends Preferences
 {
+       @Override
+       public boolean getBoolean(String name)
+       {
+               switch (name)
+               {
+               case "net.mograsim.logic.model.improvetext":
+                       return true;
+               default:
+                       throw new IllegalArgumentException("Unknown boolean preference name: " + name);
+               }
+       }
+
        @Override
        public int getInt(String name)
        {