Searched refs:xaw_key_city_names_toggle (Results 1 – 2 of 2) sorted by relevance
| /dports/games/freeciv-nox11/freeciv-2.6.6/client/gui-xaw/ |
| H A D | xaw_actions.c | 103 static void xaw_key_city_names_toggle(Widget w, XEvent *event, String *argv, Cardinal *argc) in xaw_key_city_names_toggle() function
942 { "key-city-names-toggle", xaw_key_city_names_toggle },
|
| /dports/games/freeciv/freeciv-2.6.6/client/gui-xaw/ |
| H A D | xaw_actions.c | 103 static void xaw_key_city_names_toggle(Widget w, XEvent *event, String *argv, Cardinal *argc) in xaw_key_city_names_toggle() function
942 { "key-city-names-toggle", xaw_key_city_names_toggle },
|