Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Changeset 2635 in orxonox.OLD for orxonox/trunk


Ignore:
Timestamp:
Oct 23, 2004, 9:34:14 PM (20 years ago)
Author:
bensch
Message:

orxonox/trunk/gui: minor fix

Location:
orxonox/trunk/gui
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • orxonox/trunk/gui/orxonox_gui.h

    r2622 r2635  
    1212
    1313#include <stdlib.h>
    14 #include <string.h>
    1514#include <gtk/gtkmain.h>
    1615#include <gtk/gtkwindow.h>
  • orxonox/trunk/gui/orxonox_gui_exec.cc

    r2634 r2635  
    185185              if ((groupWidget = locateGroup (widget, Buffer, 1))==NULL)
    186186                {
    187                   cout << "the input " << Buffer << "does not belong to any group\n";
     187                  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";
    188188                  groupWidget = widget;
    189189                }
Note: See TracChangeset for help on using the changeset viewer.