1.1 --- a/src/drivers/video_gtk.c	Tue Feb 12 08:38:19 2008 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Tue Feb 12 08:56:34 2008 +0000
     1.3 @@ -137,7 +137,7 @@
     1.4      case GDK_KP_Up:     return DCKB_KP_8;
     1.5      case GDK_KP_Page_Up:return DCKB_KP_9;
     1.6      case GDK_KP_Insert: return DCKB_KP_0;
     1.7 -    case GDK_KP_Decimal:return DCKB_KP_PERIOD;
     1.8 +    case GDK_KP_Delete: return DCKB_KP_PERIOD;
     1.9      case GDK_backslash: return DCKB_BACKSLASH;
    1.10      case GDK_Control_L: return DCKB_CONTROL_L;
    1.11      case GDK_Shift_L:   return DCKB_SHIFT_L;