diff -ru -X /home/jjm/cvs/no.freeciv FreecivCVS/client/gui-gtk/menu.c freeciv/client/gui-gtk/menu.c --- FreecivCVS/client/gui-gtk/menu.c Sun Aug 27 09:39:35 2000 +++ freeciv/client/gui-gtk/menu.c Sat Sep 2 07:55:01 2000 @@ -54,6 +54,8 @@ GtkItemFactory *item_factory=NULL; +static void menus_rename(const char *path, char *s); + /**************************************************************** ... @@ -757,6 +759,10 @@ if(menubar) *menubar=gtk_item_factory_get_widget(item_factory, "
"); + + /* kluge to get around gtk's interpretation of "/" in menu item names */ + menus_rename("
/Orders/Go|Airlift to City", _("Go/Airlift to City")); + menus_rename("
/Orders/Diplomat|Spy Actions", _("Diplomat/Spy Actions")); } /****************************************************************