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/Widgets.icl | |
| parent | Use abstract newtypes to hide pointers (diff) | |
Add PixelsAboveLines, PixelsBelowLines, and PixelsInsideWrap to control line spacing of GtkTextView
Diffstat (limited to 'src/Gtk/Widgets.icl')
| -rw-r--r-- | src/Gtk/Widgets.icl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl index 41aadab..4fec8d4 100644 --- a/src/Gtk/Widgets.icl +++ b/src/Gtk/Widgets.icl @@ -515,6 +515,15 @@ newTextView = getTextBuffer :: !GtkTextView -> GtkTextBuffer getTextBuffer (GtkTextView tv) = GtkTextBuffer (gtk_text_view_get_buffer tv) +instance tune GtkTextView GtkLineSpacingModifier +where + tune mod view=:(GtkTextView tv) = toState modify >>| pure view + where + modify = case mod of + PixelsAboveLines px -> gtk_text_view_set_pixels_above_lines tv px + PixelsBelowLines px -> gtk_text_view_set_pixels_below_lines tv px + PixelsInsideWrap px -> gtk_text_view_set_pixels_inside_wrap tv px + instance tune GtkTextView GtkWrapMode where tune mode view=:(GtkTextView tv) = |