remove "devel-widgets" nasal block
This commit is contained in:
parent
3ab061089f
commit
f76b748786
1 changed files with 0 additions and 8 deletions
|
@ -294,12 +294,4 @@
|
|||
|
||||
<empty><stretch>true</stretch></empty>
|
||||
</group>
|
||||
|
||||
<nasal>
|
||||
<open>
|
||||
if (!getprop("/sim/gui/devel-widgets")) {
|
||||
cmdarg().getNode("group[2]/group[1]").removeChild("checkbox", 2);
|
||||
}
|
||||
</open>
|
||||
</nasal>
|
||||
</PropertyList>
|
||||
|
|
Loading…
Reference in a new issue