changeset 60:b6766d7c342c

Fixed bindings for Space key in UI.
author jcid
date Sat, 24 Nov 2007 20:45:22 +0100
parents 9bd7bf398a0c
children 14492471eafa
files src/ui.cc
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/ui.cc	Wed Nov 21 02:31:24 2007 +0100
+++ b/src/ui.cc	Sat Nov 24 20:45:22 2007 +0100
@@ -657,7 +657,8 @@
 
    // Let FLTK pass these events to child widgets.
    if (event == KEY) {
-      if (event_key() == UpKey || event_key() == DownKey)
+      if (event_key() == UpKey || event_key() == DownKey ||
+          event_key() == SpaceKey)
          return 0;
    }
 
@@ -693,7 +694,7 @@
          ret = 1;
       }
 
-      // Back and Forward shortcuts
+      // Back and Forward navigation shortcuts
       if ((!event_state(SHIFT) && event_key() == BackSpaceKey) ||
           event_key() == ',') {
          a_UIcmd_back(user_data());