[isabelle-dev] numpad doesn't work

[Ondřej Kunčar]

This refers to 3c26a7042d8e. The numpad stopped working in JEdit. 
Reproducible on my machine and also on Dmitriy's machine. We use Linux.

Ondrej
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev