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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
