X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.preferences%2Fsrc%2Fnet%2Fmograsim%2Fpreferences%2FDefaultPreferences.java;h=f3d0b69b4a0982872b237386546bc628774703e4;hb=bcaa748f1b1522b462822c679d4d8a8bdab16d19;hp=b261003db9cfa9400b41072e84b1a47a210a589f;hpb=2198fbadd2105c47ff4cd65d434616ae329802a1;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 b261003d..f3d0b69b 100644
--- a/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java
+++ b/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java
@@ -23,6 +23,8 @@ public class DefaultPreferences extends Preferences
 	{
 		switch (name)
 		{
+		case "net.mograsim.logic.model.debug.hlsshelldepth":
+			return -1;
 		default:
 			throw new IllegalArgumentException("Unknown int preference name: " + name);
 		}