// Get window border size created by window manager
static int get_top_border();
static int get_left_border();
static int get_right_border();
static int get_bottom_border();
static const char *get_gl_shader_version();
// Get window border size created by window manager
static int get_top_border();
static int get_left_border();
static int get_right_border();
static int get_bottom_border();
static const char *get_gl_shader_version();