From 05b3db2d31d36bfe08036367f903f9f1af8bb6f4 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Fri, 13 Jul 2007 16:52:39 +0000
Subject: [PATCH] minor cleanup

---
 keyboard.xml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/keyboard.xml b/keyboard.xml
index 65f59e7f1..0993243e9 100644
--- a/keyboard.xml
+++ b/keyboard.xml
@@ -12,12 +12,12 @@ calculated by adding 256 to the GLUT key value in glut.h.
 
  <nasal>
   <script>
-      var kbdshift = props.globals.getNode("/devices/status/keyboard/shift");
-      var kbdctrl = props.globals.getNode("/devices/status/keyboard/ctrl");
-      var kbdalt = props.globals.getNode("/devices/status/keyboard/alt");
+      var shift = props.globals.getNode("/devices/status/keyboard/shift");
+      var ctrl = props.globals.getNode("/devices/status/keyboard/ctrl");
+      var alt = props.globals.getNode("/devices/status/keyboard/alt");
 
       var get_modifiers = func {
-          kbdshift.getValue() + 2 * kbdctrl.getValue() + 4 * kbdalt.getValue();
+          shift.getValue() + 2 * ctrl.getValue() + 4 * alt.getValue();
       }
 
       var space_release = func {}
@@ -30,7 +30,7 @@ calculated by adding 256 to the GLUT key value in glut.h.
               controls.ptt(mod + 1);
               space_release = func { controls.ptt(0) }
           } else {
-              gui.popupTip("SPACE " ~ mod ~ " " ~ (state ? "press" : "release"));
+              gui.popupTip("SPACE " ~ mod);
           }
       }
   </script>