13 std::list<Window*> windows;
15 std::list<Rect> dirty_rects;
19 int titlebar_thickness;
28 void create_frame(Window *win);
29 void destroy_frame(Window *win);
35 void invalidate_region(const Rect &rect);
36 void process_windows();
38 void add_window(Window *win);
39 void remove_window(Window *win);
41 void set_focused_window(Window *win);
42 const Window *get_focused_window() const;
43 Window *get_focused_window();
45 Window *get_window_at_pos(int pointer_x, int pointer_y);
48 extern WindowManager *wm;