ref: d31eff148322ded1add98043854a5e5a5f48529f
parent: 201b32983b5cd1f904da3614ee9136cfeec59818
author: Simon Tatham <anakin@pobox.com>
date: Tue Jan 13 14:19:05 EST 2015
Handle the space bar in the Javascript front end. I wasn't passing it through at all, causing CURSOR_SELECT2 dependent keyboard UI not to be reachable.
--- a/emcc.c
+++ b/emcc.c
@@ -317,6 +317,8 @@
keyevent = keycode + (shift ? 0 : 32);
} else if (keycode >= 48 && keycode <= 57) {
keyevent = keycode;
+ } else if (keycode == 32) { /* space / CURSOR_SELECT2 */
+ keyevent = keycode;
}
if (keyevent >= 0) {