From ed690b87fecec98f5305d67b1f5962cf70a5bc4b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sat, 16 Nov 2019 22:09:09 +0100 Subject: Add PixelsAboveLines, PixelsBelowLines, and PixelsInsideWrap to control line spacing of GtkTextView --- src/Gtk/Internal.icl | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/Gtk/Internal.icl') 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" -- cgit v1.2.3