[Orxonox-commit 95] r2037 - in media: defaultConfig gui/scripts

[bknecht at orxonox.net]

Author: bknecht
Date: 2009-03-16 10:49:23 +0000 (Mon, 16 Mar 2009)
New Revision: 2037

Modified:
   media/defaultConfig/keybindings.ini
   media/gui/scripts/loadGUI.lua
Log:
use "Home" to show GUI ingame. You cannot hide it yet, though. small changes in loadGUI...

Modified: media/defaultConfig/keybindings.ini
===================================================================
--- media/defaultConfig/keybindings.ini	2009-03-16 01:02:28 UTC (rev 2036)
+++ media/defaultConfig/keybindings.ini	2009-03-16 10:49:23 UTC (rev 2037)
@@ -42,7 +42,7 @@
 KeyG=greet
 KeyGrave=
 KeyH=
-KeyHome=
+KeyHome=showGUI
 KeyI=
 KeyInsert=
 KeyJ=

Modified: media/gui/scripts/loadGUI.lua
===================================================================
--- media/gui/scripts/loadGUI.lua	2009-03-16 01:02:28 UTC (rev 2036)
+++ media/gui/scripts/loadGUI.lua	2009-03-16 10:49:23 UTC (rev 2037)
@@ -101,6 +101,6 @@
 end
 
 function hideGUI()
-  system:setGUISheet(nil)
+  --system:setGUISheet(nil)
   orxonox.GUIManager:getInstance():hideGUI()
 end