13 std::list<Window*> windows;
15 std::list<Rect> dirty_rects;
19 int titlebar_thickness;
29 void create_frame(Window *win);
30 void destroy_frame(Window *win);
36 void invalidate_region(const Rect &rect);
37 void process_windows();
39 void add_window(Window *win);
40 void remove_window(Window *win);
42 void set_focused_window(Window *win);
43 const Window *get_focused_window() const;
44 Window *get_focused_window();
46 Window *get_window_at_pos(int pointer_x, int pointer_y);
48 Window *get_grab_window() const;
50 void grab_mouse(Window *win);
54 extern WindowManager *wm;