WindowOptions options;
bool visible;
bool kbd_autorepeat;
+ bool touch_input;
bool resizing;
Private *priv;
bool get_keyboard_autorepeat() const { return kbd_autorepeat; }
void show_cursor(bool);
void warp_pointer(int, int);
+ void set_touch_input(bool);
+private:
+ void platform_set_touch_input();
+public:
+ bool get_touch_input() const { return touch_input; }
Display &get_display() const { return display; }
const WindowOptions &get_options() const { return options; }