ref: 2b5a4a062cf3f1ea6b64a92b8735a49b517f4557
parent: dbb2d2adb28eec4258783aa37589ccf4a3265f8f
author: Ben Harris <bjh21@bjh21.me.uk>
date: Wed Nov 30 08:10:59 EST 2022
Document how Enter and Space are handled in the mid-end They've been canonicalised to CURSOR_SELECT and CURSOR_SELECT2 since 2008.
--- a/devel.but
+++ b/devel.but
@@ -1029,7 +1029,8 @@
\dd On platforms which have one or two prominent \q{select} buttonalongside their cursor keys, indicates that one of those buttons was
-pressed.
+pressed. On other platforms, these represent the Enter (or Return)
+and Space keys respectively.
In addition, there are some modifiers which can be bitwise-ORed into
the \c{button} parameter: