projects
/
Mograsim.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'development' of
[Mograsim.git]
/
plugins
/
net.mograsim.preferences
/
src
/
net
/
mograsim
/
preferences
/
DefaultPreferences.java
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
b261003
..
f3d0b69
100644
(file)
--- 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)
{
{
switch (name)
{
+ case "net.mograsim.logic.model.debug.hlsshelldepth":
+ return -1;
default:
throw new IllegalArgumentException("Unknown int preference name: " + name);
}
default:
throw new IllegalArgumentException("Unknown int preference name: " + name);
}