[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65539: [PATCH] ; Fix push-button when triggered by a single keypress
|
From: |
Eli Zaretskii |
|
Subject: |
bug#65539: [PATCH] ; Fix push-button when triggered by a single keypress |
|
Date: |
Thu, 31 Aug 2023 12:38:32 +0300 |
> From: Steven Allen <steven@stebalien.com>
> 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.
Thanks, installed on master, and closing the bug.