<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