[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#19268: 25.0.50; Customize widgets vs <kp-...> keys
|
From: |
Nicolas Richard |
|
Subject: |
bug#19268: 25.0.50; Customize widgets vs <kp-...> keys |
|
Date: |
Fri, 05 Dec 2014 17:52:09 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 |
Le 05/12/2014 16:11, Stefan Monnier a écrit :
>> Please let me know what you think.
>
> Looks good, feel free to install it.
Done, and closing.
commit 2a06fc15b2a3e6287f18025806fb2eabec801fc0
Author: Nicolas Richard <theonewiththeevillook@yahoo.fr>
Date: Fri Dec 5 07:29:26 2014 +0100
(widget-choose) Let numeric keypad work
Fixes: debbugs:19268
* wid-edit.el (widget-choose): Let numeric keypad work
and remove old menu-related code.
--
Nico.