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.dcl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Gtk/Internal.dcl')

diff --git a/src/Gtk/Internal.dcl b/src/Gtk/Internal.dcl
index 8950cf9..bd37efa 100644
--- a/src/Gtk/Internal.dcl
+++ b/src/Gtk/Internal.dcl
@@ -146,6 +146,9 @@ gtk_text_buffer_set_text :: !Pointer !String !Int !.a -> .a
 gtk_text_view_new :: !.a -> (!Pointer, !.a)
 gtk_text_view_get_buffer :: !Pointer -> Pointer
 gtk_text_view_set_editable :: !Pointer !Bool !.a -> .a
+gtk_text_view_set_pixels_above_lines :: !Pointer !Int !.a -> .a
+gtk_text_view_set_pixels_below_lines :: !Pointer !Int !.a -> .a
+gtk_text_view_set_pixels_inside_wrap :: !Pointer !Int !.a -> .a
 gtk_text_view_set_wrap_mode :: !Pointer !Int !.a -> .a
 
 gtk_tree_model_get_iter_from_string :: !Pointer !String -> (!Bool, !{#Int})
-- 
cgit v1.2.3