virtual unsigned get_width() const { return window.get_width(); }
virtual unsigned get_height() const { return window.get_height(); }
virtual unsigned get_width() const { return window.get_width(); }
virtual unsigned get_height() const { return window.get_height(); }