Add PixelsAboveLines, PixelsBelowLines, and PixelsInsideWrap to control line spacing of GtkTextView

1 files changed, 15 insertions, 0 deletions

diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl
index 92a9009..89546ba 100644
--- a/src/Gtk/Internal.icl
+++ b/src/Gtk/Internal.icl
@@ -638,6 +638,21 @@ gtk_text_view_set_editable text_view setting env = code {
 	ccall gtk_text_view_set_editable "pI:V:A"
 }
 
+gtk_text_view_set_pixels_above_lines :: !Pointer !Int !.a -> .a
+gtk_text_view_set_pixels_above_lines text_view px env = code {
+	ccall gtk_text_view_set_pixels_above_lines "pI:V:A"
+}
+
+gtk_text_view_set_pixels_below_lines :: !Pointer !Int !.a -> .a
+gtk_text_view_set_pixels_below_lines text_view px env = code {
+	ccall gtk_text_view_set_pixels_below_lines "pI:V:A"
+}
+
+gtk_text_view_set_pixels_inside_wrap :: !Pointer !Int !.a -> .a
+gtk_text_view_set_pixels_inside_wrap text_view px env = code {
+	ccall gtk_text_view_set_pixels_inside_wrap "pI:V:A"
+}
+
 gtk_text_view_set_wrap_mode :: !Pointer !Int !.a -> .a
 gtk_text_view_set_wrap_mode text_view mode env = code {
 	ccall gtk_text_view_set_wrap_mode "pI:V:A"