You can sort of work around this by binding the number pad to the arrow key behaviour via the gnome gui(keyboard preferences) . I haven't tested but you may also be able to set the arrow keys manually (to work).
-- To UNSUBSCRIBE, email to debian-x-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/aanlkti=s=ot1fepws3z_kx79jldgjvazgobpotj+e...@mail.gmail.com