1
0
Fork 0

replace /sim/devel by /sim/gui/devel-widgets to enable/disable devel widgets

This commit is contained in:
mfranz 2007-12-11 15:50:58 +00:00
parent 33277e0730
commit 8bf50232da
2 changed files with 2 additions and 2 deletions

View file

@ -167,7 +167,7 @@
<nasal>
<open>
var self = cmdarg();
if (!getprop("/sim/devel")) {
if (!getprop("/sim/gui/devel-widgets")) {
foreach(var w; [1, 3, 4, 5]) {
self.removeChild("group", w);
}

View file

@ -288,7 +288,7 @@
<nasal>
<open>
if (!getprop("/sim/devel")) {
if (!getprop("/sim/gui/devel-widgets")) {
cmdarg().getNode("group[2]/group[1]").removeChild("checkbox", 2);
}
</open>