Fix bug where key releases got reported as presses.

diff --git a/src/Main/fg_os_sdl.cxx b/src/Main/fg_os_sdl.cxx
index 9027ef4285d15306c78d3a67b217fa7fd6522f49..9672f20ab3413ea5cdaa0383f111058ab8272645 100644 (file)
--- a/src/Main/fg_os_sdl.cxx
+++ b/src/Main/fg_os_sdl.cxx
@@ -137,6 +137,7 @@ static void handleKey(int key, int keyup)
     }
     if(keyup) CurrentModifiers &= ~modmask;
     else      CurrentModifiers |= modmask;
+    if(keyup) CurrentModifiers |= KEYMOD_RELEASED;
     if(modmask == 0 && KeyHandler)
         (*KeyHandler)(key, CurrentModifiers, CurrentMouseX, CurrentMouseY);
 }