static int get_right_border();
static int get_bottom_border();
static const char *get_gl_shader_version();
+ static int get_gl_max_texture_size();
int get_screen_count();
void test_window(int &x_out, int &y_out, int &x_out2, int &y_out2, int x_in, int y_in);
static const char *host_display_name(const char *name);
static int right_border;
static int auto_reposition_x;
static int auto_reposition_y;
+ static int gl_max_texture_size;
static char gl_shader_version[64];
int depth;
char *display_name;