bug#65539: [PATCH] ; Fix push-button when triggered by a single keypress

bug-gnu-emacs

From:	Steven Allen
Subject:	bug#65539: [PATCH] ; Fix push-button when triggered by a single keypress
Date:	Fri, 25 Aug 2023 10:48:01 -0700

The following code was broken in the recent android merge:

    (keymap-set button-map "<return>" 'push-button)

The attached patch fixes this.

[Prev in Thread]

Current Thread

[Next in Thread]

bug#65539: [PATCH] ; Fix push-button when triggered by a single keypress, Steven Allen <=
- bug#65539: [PATCH] ; Fix push-button when triggered by a single keypress, Eli Zaretskii, 2023/08/31