diff options
| author | Sebastien Lafargue <slafargue@gnome.org> | 2014-12-23 21:30:24 +0100 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2015-08-17 01:40:32 -0400 |
| commit | d1381569fdf2abde1535db1fcff07b3c767d396d (patch) | |
| tree | c269b0b248d6b046119cb7d527b47f446ee515cf /gtk/gtktextview.h | |
| parent | 825d1285e30351b6522b37b157d2275a48cc865f (diff) | |
| download | gtk+-d1381569fdf2abde1535db1fcff07b3c767d396d.tar.gz | |
text view: add padding and margin
Add API to set top and bottom margins, and add the CSS padding
from the theme to the programmatically set margins.
https://bugzilla.gnome.org/show_bug.cgi?id=406159
Diffstat (limited to 'gtk/gtktextview.h')
| -rw-r--r-- | gtk/gtktextview.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gtk/gtktextview.h b/gtk/gtktextview.h index 7917044329..41a54ba406 100644 --- a/gtk/gtktextview.h +++ b/gtk/gtktextview.h @@ -405,6 +405,16 @@ void gtk_text_view_set_right_margin (GtkTextView *text_vi gint right_margin); GDK_AVAILABLE_IN_ALL gint gtk_text_view_get_right_margin (GtkTextView *text_view); +GDK_AVAILABLE_IN_3_18 +void gtk_text_view_set_top_margin (GtkTextView *text_view, + gint top_margin); +GDK_AVAILABLE_IN_3_18 +gint gtk_text_view_get_top_margin (GtkTextView *text_view); +GDK_AVAILABLE_IN_3_18 +void gtk_text_view_set_bottom_margin (GtkTextView *text_view, + gint bottom_margin); +GDK_AVAILABLE_IN_3_18 +gint gtk_text_view_get_bottom_margin (GtkTextView *text_view); GDK_AVAILABLE_IN_ALL void gtk_text_view_set_indent (GtkTextView *text_view, gint indent); |