~Window();
void set_title(const std::string &);
+ void reconfigure(const WindowOptions &);
+ const WindowOptions &get_options() const { return options; }
unsigned get_width() const { return options.width; }
unsigned get_height() const { return options.height; }
WindowHandle get_handle() const { return window; }