- unsigned get_width() const { return window.get_width(); }
- 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(); }