--- gui_main.c.orig	Sat Jul  3 07:26:51 1999
+++ gui_main.c	Sat Jul 24 12:46:43 1999
@@ -390,34 +390,42 @@
     {
     case GDK_8:
     case GDK_KP_8:
+    case GDK_Up:
     case GDK_KP_Up:		key_unit_north();		break;
     case GDK_9:
     case GDK_KP_9:
+    case GDK_Prior:
     case GDK_KP_Page_Up:	key_unit_north_east();		break;
     case GDK_6:
     case GDK_KP_6:
+    case GDK_Right:
     case GDK_KP_Right:		key_unit_east();		break;
     case GDK_3:
     case GDK_KP_3:
+    case GDK_Next:
     case GDK_KP_Page_Down:	key_unit_south_east();		break;
     case GDK_2:
     case GDK_KP_2:
+    case GDK_Down:
     case GDK_KP_Down:		key_unit_south();		break;
     case GDK_1:
     case GDK_KP_1:
+    case GDK_End:
     case GDK_KP_End:		key_unit_south_west();		break;
     case GDK_4:
     case GDK_KP_4:
+    case GDK_Left:
     case GDK_KP_Left:		key_unit_west();		break;
     case GDK_7:
     case GDK_KP_7:
+    case GDK_Home:
     case GDK_KP_Home:		key_unit_north_west();		break;
     case GDK_KP_Begin:
     case GDK_5:
     case GDK_KP_5:		focus_to_next_unit();		break;
 
-    case GDK_e:			key_end_turn();			break;
-    case GDK_Return:		key_end_turn();			break;
+    case GDK_e:
+    case GDK_Return:
     case GDK_KP_Enter:		key_end_turn();			break;
 
     case GDK_t:			key_city_workers(widget,event);	break;