Searched refs:playerlist_token_width (Results 1 – 3 of 3) sorted by relevance
460 guint16 playerlist_token_width, playerlist_token_height; member
822 …gtk_widget_set_size_request(p->playerlist_token_gdkrgb, data->playerlist_token_width, data->playe… in interface_gameboard_add_player()876 eng_frame_set_width(token_frame, data->playerlist_token_width); in interface_gameboard_add_player()881 eng_pic_set_x(pic, (data->playerlist_token_width - data->pngfile_token_width[p->tokenid]) / 2); in interface_gameboard_add_player()1846 width = data->playerlist_token_width; in on_playertoken_draw()1961 width = data->playerlist_token_width; in update_display()
564 data->playerlist_token_width = atoi( (gchar*)tmp ); in xmlparse_file_interface()