+ const VideoMode &get_desktop_mode() const;
+ void set_mode(const VideoMode &, bool = false);
+ void restore_mode();
+ const VideoMode *find_mode(const VideoMode &, float = 0.5f) const;
+ const VideoMode *find_mode(unsigned, unsigned) const;
+
+private:
+ void window_got_focus(Window &);
+ void window_lost_focus();
+public:
+ Window *get_focus_window() const { return focus_window; }