From 2694b5f9c6f8501740077b4ba4683fc78543c576 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 8 Dec 2014 14:59:35 +0100
Subject: [PATCH] nitpicker: fix refresh of pointer view on stacking

Fixes #1441
---
 repos/os/src/server/nitpicker/view_stack.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/server/nitpicker/view_stack.cc b/repos/os/src/server/nitpicker/view_stack.cc
index 33f022eb8..22eb85744 100644
--- 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));
 }