PsppireDict: Add a quarter of a unit to the displayed width.

[pspp] / src / ui / gui / psppire-dict.c

diff --git a/src/ui/gui/psppire-dict.c b/src/ui/gui/psppire-dict.c
index 7923079d173c15393b4e1ced26cd61e050c3b8d9..7a8245f2bd21ae09d20b1e1329bc711875285274 100644 (file)
--- a/src/ui/gui/psppire-dict.c
+++ b/src/ui/gui/psppire-dict.c
@@ -113,7 +113,8 @@ gi (GListModel *list, guint id)
        g_object_unref (G_OBJECT (context));
       
        gtk_widget_set_size_request (button,
-                                    var_get_display_width (v) * rect.width / PANGO_SCALE,
+                                    (0.25 + var_get_display_width (v))
+                                    * rect.width / PANGO_SCALE,
                                     -1);
       }
     }