Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Changeset 3154 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui_keys.h


Ignore:
Timestamp:
Dec 11, 2004, 8:12:01 PM (19 years ago)
Author:
bensch
Message:

orxonox/trunk/gui: gtk-fix if window gets closed by windowManager

File:
1 edited

Legend:

Unmodified
Added
Removed

  • orxonox/trunk/gui/orxonox_gui_keys.h

    r3153 r3154  
    2323  Box* keysBox;
    2424  Player* player1;
    25   Player* player2;
     25  //  Player* player2;
    2626  Button* misc;
    2727
    … …  
    3838 private:
    3939  Window* pKeyWindow;
     40  Frame* pKeyFrame;
    4041  Button* openButton;
    4142  Button* closeButton;
Note: See TracChangeset for help on using the changeset viewer.