I would like to know the correct and generally accepted way of adding a top and bottom margin to a GtkTextView
that is inside of a GtkScrolledWindow
. There are functions to set the left and right margin, which I am using:
gtk_text_view_set_left_margin(GTK_TEXT_VIEW(editor_text_view), 2);
gtk_text_view_set_right_margin(GTK_TEXT_VIEW(editor_text_view), 2);
But I can't seem to find any documentation on top and bottom. I've tried changing the border width of the GtkTextView
with gtk_container_set_border_width
but the border is not painted with the background color of the GtkTextView
.
Basically - what I have is on the left and what I want is on the right.