From 8bf50232dada4bca6b5908ba475bd6c0023dd6b4 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Tue, 11 Dec 2007 15:50:58 +0000
Subject: [PATCH] replace /sim/devel by /sim/gui/devel-widgets to
 enable/disable devel widgets

---
 gui/dialogs/hud.xml       | 2 +-
 gui/dialogs/rendering.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/gui/dialogs/hud.xml b/gui/dialogs/hud.xml
index 0083679cf..d715550c2 100644
--- a/gui/dialogs/hud.xml
+++ b/gui/dialogs/hud.xml
@@ -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);
 				}
diff --git a/gui/dialogs/rendering.xml b/gui/dialogs/rendering.xml
index a03ba253d..fcbd55435 100644
--- a/gui/dialogs/rendering.xml
+++ b/gui/dialogs/rendering.xml
@@ -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>