--- Hotkeys.C.orig	Wed Apr  3 18:51:51 2002
+++ Hotkeys.C	Wed Apr  3 19:11:07 2002
@@ -45,6 +45,13 @@
 static void DeskNumber() {
   Desktop::current(Desktop::number(Fl::event_key()-FL_F, 1));
 }
+
+static void GJDeskNumber() {
+  int num;
+  num = Fl::event_key()-0x30; /* ascii -> int */
+  if (num == 0) num = 10;
+  Desktop::current(Desktop::number(num, 1));
+}
 #endif
 
 #if WMX_HOTKEYS || CDE_HOTKEYS
@@ -146,6 +153,19 @@
   {FL_ALT+FL_F+11,	DeskNumber},
   {FL_ALT+FL_F+12,	DeskNumber},
 #endif
+#endif
+#if DESKTOPS && GJ_HOTKEYS
+  // I prefer ALT+digit
+  {FL_ALT+'1',	GJDeskNumber},
+  {FL_ALT+'2',	GJDeskNumber},
+  {FL_ALT+'3',	GJDeskNumber},
+  {FL_ALT+'4',	GJDeskNumber},
+  {FL_ALT+'5',	GJDeskNumber},
+  {FL_ALT+'6',	GJDeskNumber},
+  {FL_ALT+'7',	GJDeskNumber},
+  {FL_ALT+'8',	GJDeskNumber},
+  {FL_ALT+'9',	GJDeskNumber},
+  {FL_ALT+'0',	GJDeskNumber}, // this switches to DT10
 #endif
   {0}};