int tile_size; // special case for list of network players
int border_size; // special case for list of preview players
int vertical; // special case for list of preview players
int tile_size; // special case for list of network players
int border_size; // special case for list of preview players
int vertical; // special case for list of preview players