unsigned get_width() const { return options.width; }
unsigned get_height() const { return options.height; }
WindowHandle get_handle() const { return window; }
unsigned get_width() const { return options.width; }
unsigned get_height() const { return options.height; }
WindowHandle get_handle() const { return window; }