Index: registryd/deviceeventcontroller.c
===================================================================
RCS file: /cvs/gnome/at-spi/registryd/deviceeventcontroller.c,v
retrieving revision 1.91
diff -u -r1.91 deviceeventcontroller.c
--- registryd/deviceeventcontroller.c	14 Mar 2006 17:41:13 -0000	1.91
+++ registryd/deviceeventcontroller.c	19 Jul 2006 20:33:56 -0000
@@ -1440,6 +1440,10 @@
       return FALSE;
     }
 
+  /* set the NUMLOCK event mask bit if appropriate: see bug #143702 */
+  if (key_event->modifiers & _numlock_physical_mask)
+      key_event->modifiers |= SPI_KEYMASK_NUMLOCK;
+
   for (l = *key_listeners; l; l = l->next)
     {
        DEControllerKeyListener *key_listener = l->data;
