Changeset 4056 in orxonox.OLD for orxonox/trunk/src/lib/gui/gui/gui_keys.h

Timestamp:

May 5, 2005, 1:43:20 AM (19 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: naming

File:

• orxonox/trunk/src/lib/gui/gui/gui_keys.h (modified) (2 diffs)

orxonox/trunk/src/lib/gui/gui/gui_keys.h

@@ -22 +22 @@
 class Player;
 //! Class that creates the Keys-Options.
-class OrxonoxGuiKeys : public OrxonoxGuiElement
+class GuiKeys : public GuiElement
 {
  private:
@@ -32 +32 @@
 
  public:
-  OrxonoxGuiKeys(void);
-  ~OrxonoxGuiKeys(void);
+  GuiKeys(void);
+  ~GuiKeys(void);
 };