From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 1 Jan 2019 19:12:36 +0000 (-0800)
Subject: psppire-output-view: Add a little extra space to GtkLayout.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=d18e5ef8b730eda2c87a596cf51159dd5044e541

psppire-output-view: Add a little extra space to GtkLayout.

It can be difficult to see the bottom and right sides of the GtkLayout
because of the scroll bars that, on newer versions of GTK+ 3, seem to
actually overlap part of the content.  Add a little extra space around
the output items to make it clearer.
---

diff --git a/src/ui/gui/psppire-output-view.c b/src/ui/gui/psppire-output-view.c
index fc660896d1..4205befaeb 100644
--- a/src/ui/gui/psppire-output-view.c
+++ b/src/ui/gui/psppire-output-view.c
@@ -298,7 +298,9 @@ rerender (struct psppire_output_view *view)
       view->y += th;
     }
 
-  gtk_layout_set_size (view->output, view->max_width, view->y);
+  gtk_layout_set_size (view->output,
+                       view->max_width + view->font_height,
+                       view->y + view->font_height);
   cairo_destroy (cr);
 }