Changeset 2635 in orxonox.OLD for orxonox/trunk

Timestamp:

Oct 23, 2004, 9:34:14 PM (20 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: minor fix

Location:

orxonox/trunk/gui

Files:

• orxonox_gui.h (modified) (1 diff)
• orxonox_gui_exec.cc (modified) (1 diff)

orxonox/trunk/gui/orxonox_gui.h

@@ -12 +12 @@
 
 #include <stdlib.h>
-#include <string.h>
 #include <gtk/gtkmain.h>
 #include <gtk/gtkwindow.h>

orxonox/trunk/gui/orxonox_gui_exec.cc

@@ -185 +185 @@
               if ((groupWidget = locateGroup (widget, Buffer, 1))==NULL)
                 {
-                  cout << "the input " << Buffer << "does not belong to any group\n";
+                  cout << "!!There is no group called " << Buffer << " in this GUI.\n First best Widget will get the Infos assigned.\n Config-File will be updated in next Save\n";
                   groupWidget = widget;
                 }