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

Previous Next

Full log

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.

Previous Next

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