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.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Steven Allen <steven <at> stebalien.com>
Subject: bug#65539: closed (Re: bug#65539: [PATCH] ; Fix push-button when
 triggered by a single keypress)
Date: Thu, 31 Aug 2023 09:40:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

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

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 65539 <at> debbugs.gnu.org.

-- 
65539: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65539
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
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.

[Message part 3 (message/rfc822, inline)]
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 4 (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)]

This bug report was last modified 1 year and 284 days ago.

Previous Next


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