Searched refs:button_set_tile_aux (Results 1 – 1 of 1) sorted by relevance
2191 static void button_set_tile_aux(GtkWidget *b, Tile t, int ori,int use_tiletip) { in button_set_tile_aux() function2257 button_set_tile_aux(b,t,ori,1); in button_set_tile()2262 button_set_tile_aux(b,t,ori,0); in button_set_tile_without_tiletip()