diff options
author | mbkma <[email protected]> | 2020-03-16 14:11:53 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-03-28 12:27:05 +0100 |
commit | dab8672d5a2eaf356a55d1d5feb5f49f81d38c77 (patch) | |
tree | 2e4f935ca9e01fa10f6fe789de1ff14c057c06c3 /src | |
parent | e24acae66e2f02d9c2ccffd55f431e37455e7dc8 (diff) | |
download | mate-calc-dab8672d5a2eaf356a55d1d5feb5f49f81d38c77.tar.bz2 mate-calc-dab8672d5a2eaf356a55d1d5feb5f49f81d38c77.tar.xz |
math-display.c: set bottom margin to 12 for gtk widget info_view
Diffstat (limited to 'src')
-rw-r--r-- | src/math-display.c | 1 |
1 files changed, 1 insertions, 0 deletions
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); |