Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Changeset 5787 in orxonox.OLD for trunk/src/lib/shell/shell_input.cc


Ignore:
Timestamp:
Nov 26, 2005, 10:18:28 PM (18 years ago)
Author:
bensch
Message:

orxonox/trunk: safer shell, better key-handling

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/lib/shell/shell_input.cc

    r5786 r5787  
    385385  else // if(!event.bPressed)
    386386  {
    387     if (this->pressedKey == event.x)
     387    if (this->pressedKey == event.x || this->pressedKey == event.type)
    388388    {
    389389      this->pressedKey = 0;
Note: See TracChangeset for help on using the changeset viewer.