--- texk/xdvik/translations.h
+++ texk/xdvik/translations.h	2005-02-07 14:07:44.000000000 +0100
@@ -119,15 +119,26 @@
     "<Key>Escape:	discard-number()\n"
 #endif
 #ifdef XK_KP_Left
-    "<Key>KP_Home:	home()\n"
-    "<Key>KP_Left:	left()\n"
-    "<Key>KP_Up:	up()\n"
-    "<Key>KP_Right:	right()\n"
-    "<Key>KP_Down:	down()\n"
-    "<Key>KP_Prior:	back-page()\n"
-    "<Key>KP_Next:	forward-page()\n"
-    "<Key>KP_Delete:	up-or-previous()\n"
-    "<Key>KP_Enter:	forward-page()\n"
+    "~@Num_Lock<Key>KP_Home:home()\n"
+    "~@Num_Lock<Key>KP_Left:left(0.015)\n"
+    "~@Num_Lock<Key>KP_Begin:center()\n"
+    "~@Num_Lock<Key>KP_Up:up(0.015)\n"
+    "~@Num_Lock<Key>KP_Right:right(0.015)\n"
+    "~@Num_Lock<Key>KP_Down:down(0.015)\n"
+    "~@Num_Lock<Key>KP_Prior:back-page()\n"
+    "~@Num_Lock<Key>KP_Next:forward-page()\n"
+    "<Key>KP_Enter:forward-page()\n"
+    "<Key>KP_Delete:up-or-previous()\n"
+    "<Key>KP_1:digit(1)\n"
+    "<Key>KP_2:digit(2)\n"
+    "<Key>KP_3:digit(3)\n"
+    "<Key>KP_4:digit(4)\n"
+    "<Key>KP_5:digit(5)\n"
+    "<Key>KP_6:digit(6)\n"
+    "<Key>KP_7:digit(7)\n"
+    "<Key>KP_8:digit(8)\n"
+    "<Key>KP_9:digit(9)\n"
+    "<Key>KP_0:digit(0)\n"
 #endif
     "";