X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.preferences%2Fsrc%2Fnet%2Fmograsim%2Fpreferences%2FDefaultPreferences.java;h=0f563dc7799d2be95d82352676a9d985a30c40a1;hb=c08544713fa962229e512a6447f09d889ebde31b;hp=2f5c7c2a56b92098de7a8be8ca3f244c9426bdd5;hpb=58babf45ae7d259a296656451d796dbe601377a4;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..0f563dc7 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,8 @@ public class DefaultPreferences extends Preferences
 		{
 		case "net.mograsim.logic.model.improvetext":
 			return true;
+		case "net.mograsim.logic.model.debug.openhlsshell":
+			return false;
 		default:
 			throw new IllegalArgumentException("Unknown boolean preference name: " + name);
 		}
@@ -21,6 +23,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 +51,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);
 		}