ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

decorator: redraw after disappearing window

This commit is contained in:
Norman Feske 2014-08-22 16:05:02 +02:00
parent 6a4f232d60
commit e6dc43e6f6
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/include/decorator/window_stack.h
View File

@ -187,10 +187,12 @@ void Decorator::Window_stack::update_model(Genode::Xml_node root_node)
for (Window_base *window = _windows.first(), *next = 0; window; window = next) {
next = window->next();
try {
_xml_node_by_window_id(root_node, window->id()); }
_xml_node_by_window_id(root_node, window->id());
}
catch (Xml_node::Nonexistent_sub_node) {
_destroy(*window); };
_dirty_rect.mark_as_dirty(window->outer_geometry());
_destroy(*window);
};
}
/*