void platform_reconfigure(bool);
public:
void set_keyboard_autorepeat(bool);
bool get_keyboard_autorepeat() const { return kbd_autorepeat; }
void show_cursor(bool);
void warp_pointer(int, int);
void platform_reconfigure(bool);
public:
void set_keyboard_autorepeat(bool);
bool get_keyboard_autorepeat() const { return kbd_autorepeat; }
void show_cursor(bool);
void warp_pointer(int, int);