From 2b5a4a062cf3f1ea6b64a92b8735a49b517f4557 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Wed, 30 Nov 2022 13:10:59 +0000 Subject: Document how Enter and Space are handled in the mid-end They've been canonicalised to CURSOR_SELECT and CURSOR_SELECT2 since 2008. --- devel.but | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/devel.but b/devel.but index 31a5f19..283e48c 100644 --- a/devel.but +++ b/devel.but @@ -1029,7 +1029,8 @@ mouse button will have appeared in between. \dd On platforms which have one or two prominent \q{select} button alongside 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: -- cgit v1.1