+
+ windows.push_back(win);
+}
+
+void WindowManager::set_focused_window(Window *win)
+{
+ focused_win = win;
+}
+
+const Window *WindowManager::get_focused_window() const
+{
+ return focused_win;
+}
+
+Window *WindowManager::get_focused_window()
+{
+ return focused_win;