From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 7 Dec 2015 17:25:29 +0000 (+0100)
Subject: Fix bug rendering margin in output viewer.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1c492427c0c4e03065f4a327549a6d31b9e693a8;hp=1c492427c0c4e03065f4a327549a6d31b9e693a8;p=pspp

Fix bug rendering margin in output viewer.

commit 7b1373b8bded55eedc2328c1afd3eece6d259c34 tried to add an
offset to the output viewer rendering.  However the implementation
was somewhat naive.  The result was that the desired rendering was
not observed until an expose or resize event occured.  This change
improves the implementation.
---