revision 632:740e7b35a857
summary |
tree |
shortlog |
changelog |
graph |
changeset |
raw | bz2 | zip | gz changeset | 632:740e7b35a857 |
parent | 631:6e8e9ae34d09 |
child | 633:bbfc1a38ddb5 |
author | nkeynes |
date | Tue Feb 12 08:56:34 2008 +0000 (16 years ago) |
Oops, missed the KP delete key. Fixed
1.1 --- a/src/drivers/video_gtk.c Tue Feb 12 08:38:19 2008 +00001.2 +++ b/src/drivers/video_gtk.c Tue Feb 12 08:56:34 2008 +00001.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;
.