[isabelle-dev] numpad doesn't work

Makarius makarius at sketis.net
Tue Sep 10 12:49:38 CEST 2013

On Tue, 10 Sep 2013, Ondřej Kunčar wrote:

> On 09/02/2013 12:21 PM, Makarius wrote:
>> On Fri, 30 Aug 2013, Makarius wrote:
>>> These days a numpad is relatively rare on keyboards.  (I have one at
>>> the big laptop at home, but it has quite different behaviour than the
>>> more regular numpads on old-style stand-alone keyboards.)
>> I have made some quick tests with my Sony Vaio at home, with its slightly
>> odd arrangement of cursor keys and numeric keypad. The *numeric* mode of
>> it is indeed dead -- I am normally using it for cursor movement, in
>> order to be able to use that keyboard at all.
> The numeric mode is dead. The cursor mode is also partly dead. Home, PgUp, 
> PgDn, End, Insert and Delete work but ArrowUp, ArrowDown, ArrowLeft and 
> ArrowRight don't work either. Enter works in both modes.

Can you say what your keyboard model is also the keymap under Linux?

In the meantime I have tried a few keyboards that still have a numpad -- 
they usually work with page or arrow movement, but not digits.

It needs further investigation to understand which of the "fixes" of jEdit 
key handling needs to be avoided.


More information about the isabelle-dev mailing list