URL: http://bugs.freeciv.org/Ticket/Display.html?id=40322
Patch allows the default handlers for F1-F12 in edit mode.
Also implements the shortcut key 'p' for the player start
position tool.
--
仕事は続く〜
diff --git a/client/gui-gtk-2.0/editgui.c b/client/gui-gtk-2.0/editgui.c
index bedb738..fd32851 100644
--- a/client/gui-gtk-2.0/editgui.c
+++ b/client/gui-gtk-2.0/editgui.c
@@ -1586,6 +1586,9 @@ gboolean handle_edit_key_press(GdkEventKey *ev)
case GDK_b:
ett = ETT_TERRITORY;
break;
+ case GDK_p:
+ett = ETT_STARTPOS;
+break;
case GDK_plus:
case GDK_equal:
case GDK_KP_Add:
@@ -1631,6 +1634,20 @@ gboolean handle_edit_key_press(GdkEventKey *ev)
case GDK_Tab:
editgui_run_tool_selection(editor_get_tool());
break;
+ case GDK_F1:
+ case GDK_F2:
+ case GDK_F3:
+ case GDK_F4:
+ case GDK_F5:
+ case GDK_F6:
+ case GDK_F7:
+ case GDK_F8:
+ case GDK_F9:
+ case GDK_F10:
+ case GDK_F11:
+ case GDK_F12:
+return FALSE; /* Allow default handler. */
+break;
default:
return TRUE; /* Gobbled... */
break;
___
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev