From dab8672d5a2eaf356a55d1d5feb5f49f81d38c77 Mon Sep 17 00:00:00 2001 From: mbkma Date: Mon, 16 Mar 2020 14:11:53 +0100 Subject: math-display.c: set bottom margin to 12 for gtk widget info_view --- src/math-display.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/math-display.c b/src/math-display.c index 9669a0e..83c9b86 100644 --- a/src/math-display.c +++ b/src/math-display.c @@ -398,6 +398,7 @@ create_gui(MathDisplay *display) gtk_text_view_set_cursor_visible(GTK_TEXT_VIEW(info_view), FALSE); // FIXME: Just here so when incorrectly gets focus doesn't look editable gtk_text_view_set_editable(GTK_TEXT_VIEW(info_view), FALSE); gtk_text_view_set_justification(GTK_TEXT_VIEW(info_view), GTK_JUSTIFY_RIGHT); + gtk_text_view_set_bottom_margin(GTK_TEXT_VIEW(info_view), 12); /* TEMP: Disabled for now as GTK+ doesn't properly render a right aligned right margin, see bug #482688 */ /*gtk_text_view_set_right_margin(GTK_TEXT_VIEW(info_view), 6);*/ gtk_box_pack_start(GTK_BOX(info_box), info_view, TRUE, TRUE, 0); -- cgit v1.2.1