Window(Display &, const WindowOptions &);
private:
void init();
+ void platform_init();
+ void platform_cleanup();
public:
virtual ~Window();
void set_title(const std::string &);
void reconfigure(const WindowOptions &);
+private:
+ void platform_reconfigure(bool);
+public:
void set_keyboard_autorepeat(bool);
bool get_keyboard_autorepeat() const { return kbd_autorepeat; }
void show_cursor(bool);
void show();
void hide();
+private:
+ void platform_show();
+ void platform_hide();
+public:
bool event(const Event &evnt);
};