X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.preferences%2Fsrc%2Fnet%2Fmograsim%2Fpreferences%2FDefaultPreferences.java;h=9b867ce03fa844ec33acb8b56400e3a2a5395220;hb=19cb6ec01e754c77c58ebdc97e6f897557d74ac9;hp=b261003db9cfa9400b41072e84b1a47a210a589f;hpb=269b34bc8e58453170ad4bb34266eb2d78d5627a;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..9b867ce0 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 0;
 		default:
 			throw new IllegalArgumentException("Unknown int preference name: " + name);
 		}