Home
last modified time | relevance | path

Searched refs:gameoptionsmenuentry (Results 1 – 3 of 3) sorted by relevance

/dports/games/mahjong/mj-1.16-src/
H A Dgui.h356 *savemenuentry, *saveasmenuentry, *closemenuentry, *gameoptionsmenuentry;
H A Dgui-dial.c69 *savemenuentry, *saveasmenuentry, *closemenuentry, *gameoptionsmenuentry; variable
4537gameoptionsmenuentry = gtk_item_factory_get_widget(item_factory,"/Options/Current Game Options..."… in menubar_create()
4538 gtk_widget_set_sensitive(gameoptionsmenuentry,connected); in menubar_create()
H A Dgui.c1192 gtk_widget_set_sensitive(gameoptionsmenuentry,1); in server_input_callback()
3549 gtk_widget_set_sensitive(gameoptionsmenuentry,0); in close_connection()