7 static WindowManager wminst;
9 WindowManager::WindowManager()
14 throw std::runtime_error("Trying to create a second instance of WindowManager!\n");
18 void WindowManager::invalidate_region(const Rect &rect)
20 dirty_rects.push_back(rect);
23 void WindowManager::process_windows()
26 //sta dirty rectangles na brw to union
27 //na eleg3w poia einai sto dirty area k na ta kanw dirty
28 //na ka8arizw ta dirty areas
31 std::list<Window*>::iterator it = windows.begin();
32 while(it != windows.end()) {