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

Previous Next

Package: emacs;

Reported by: Steven Allen <steven <at> stebalien.com>

Date: Fri, 25 Aug 2023 17:49:01 UTC

Severity: normal

Tags: patch

Done: Eli Zaretskii <eliz <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 65539 in the body.
You can then email your comments to 65539 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-gnu-emacs <at> gnu.org:
bug#65539; Package emacs. (Fri, 25 Aug 2023 17:49:01 GMT) Full text and rfc822 format available.
Acknowledgement sent to Steven Allen <steven <at> stebalien.com>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs <at> gnu.org. (Fri, 25 Aug 2023 17:49:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Steven Allen <steven <at> stebalien.com>
To: bug-gnu-emacs <at> gnu.org
Subject: [PATCH] ; Fix push-button when triggered by a single keypress
Date: Fri, 25 Aug 2023 10:48:01 -0700

[Message part 1 (text/plain, inline)]
The following code was broken in the recent android merge:

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

The attached patch fixes this.


[0001-Fix-push-button-when-triggered-by-a-single-keypress.patch (text/x-patch, attachment)]
Reply sent to Eli Zaretskii <eliz <at> gnu.org>:
You have taken responsibility. (Thu, 31 Aug 2023 09:40:02 GMT) Full text and rfc822 format available.
Notification sent to Steven Allen <steven <at> stebalien.com>:
bug acknowledged by developer. (Thu, 31 Aug 2023 09:40:02 GMT) Full text and rfc822 format available.

Message #10 received at 65539-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Steven Allen <steven <at> stebalien.com>
Cc: 65539-done <at> debbugs.gnu.org
Subject: Re: 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 <at> 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.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 28 Sep 2023 11:24:12 GMT) Full text and rfc822 format available.
This bug report was last modified 1 year and 225 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.