nitpicker: fix refresh of pointer view on stacking

Fixes #1441
2014-12-08 14:59:35 +01:00 · 2014-12-08 14:59:35 +01:00 · 2694b5f9c6
parent d8e50dd366
commit 2694b5f9c6
1 changed files with 1 additions and 1 deletions
--- a/repos/os/src/server/nitpicker/view_stack.cc
+++ b/repos/os/src/server/nitpicker/view_stack.cc
@ -284,7 +284,7 @@ void View_stack::stack(View &view, View const *neighbor, bool behind)

 	_place_labels(view.abs_geometry());

-	_mark_view_as_dirty(view, _outline(view));
+	refresh_view(view, _outline(view));
 }