diff options
author | Camil Staps | 2019-11-16 22:09:09 +0100 |
---|---|---|
committer | Camil Staps | 2019-11-16 22:09:09 +0100 |
commit | ed690b87fecec98f5305d67b1f5962cf70a5bc4b (patch) | |
tree | 544e885f3d44af3c0dc63ebde67e524698908d21 /src/Gtk/Internal.dcl | |
parent | Use abstract newtypes to hide pointers (diff) |
Add PixelsAboveLines, PixelsBelowLines, and PixelsInsideWrap to control line spacing of GtkTextView
Diffstat (limited to 'src/Gtk/Internal.dcl')
-rw-r--r-- | src/Gtk/Internal.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
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}) |