X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.preferences%2Fsrc%2Fnet%2Fmograsim%2Fpreferences%2FDefaultPreferences.java;h=1f6820ddb52899938bfd47c44e6f2dc710adddaa;hb=733574abd1dd4e453e79aab9152a2f55533834a4;hp=2f5c7c2a56b92098de7a8be8ca3f244c9426bdd5;hpb=7d05144c25daa53e60fc9ed9fd503546a86567f8;p=Mograsim.git diff --git a/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java b/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java index 2f5c7c2a..1f6820dd 100644 --- a/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java +++ b/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java @@ -11,6 +11,10 @@ public class DefaultPreferences extends Preferences { case "net.mograsim.logic.model.improvetext": return true; + case "net.mograsim.logic.model.debug.openhlsshell": + return false; + case "net.mograsim.plugin.core.editors.mpm.bitsascolumnname": + return false; default: throw new IllegalArgumentException("Unknown boolean preference name: " + name); } @@ -21,6 +25,18 @@ public class DefaultPreferences extends Preferences { switch (name) { + case "net.mograsim.logic.model.debug.hlsshelldepth": + return 0; + case "net.mograsim.logic.model.button.action": + return 3; + case "net.mograsim.logic.model.button.drag": + return 1; + case "net.mograsim.logic.model.button.zoom": + return 2; + case "net.mograsim.plugin.core.simspeedprecision": + return 6; + case "net.mograsim.plugin.core.maxmemchangeinterval": + return 1000; default: throw new IllegalArgumentException("Unknown int preference name: " + name); } @@ -37,6 +53,10 @@ public class DefaultPreferences extends Preferences return 0.5; case "net.mograsim.logic.model.linewidth.wire.multibit": return 0.85; + case "net.mograsim.logic.model.submodel.zoomalpha0": + return 0.8; + case "net.mograsim.logic.model.submodel.zoomalpha1": + return 0.9; default: throw new IllegalArgumentException("Unknown double preference name: " + name); }