From a4311ae9c4bde85a060d918e33991dba50915f6c Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 25 Oct 2019 08:49:23 +0200
Subject: Add hide function for widgets and ptr instances for GtkFrame and
 GtkTextBuffer

---
 src/Gtk/Widgets.icl | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/Gtk/Widgets.icl')

diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index f9fb9a3..e726bfd 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -98,6 +98,10 @@ where
 
 instance gtkWidget GtkFrame where gtkWidget f = f
 instance gtkContainer GtkFrame where gtkContainer f = f
+instance ptr GtkFrame
+where
+	toPtr   f = f
+	fromPtr f = f
 
 newFrame :: !GtkLabel !w -> GtkM GtkFrame | gtkWidget w
 newFrame label widget =
@@ -225,6 +229,11 @@ stopSpinner spinner = toState (gtk_spinner_stop spinner) >>| pure spinner
 
 :: GtkTextBuffer :== Pointer
 
+instance ptr GtkTextBuffer
+where
+	toPtr   b = b
+	fromPtr b = b
+
 setText :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
 setText s buffer =
 	toState (gtk_text_buffer_set_text buffer s (size s)) >>|
@@ -276,6 +285,9 @@ where
 show :: !w -> GtkM w | gtkWidget w
 show widget = toState (gtk_widget_show (gtkWidget widget)) >>| pure widget
 
+hide :: !w -> GtkM w | gtkWidget w
+hide widget = toState (gtk_widget_hide (gtkWidget widget)) >>| pure widget
+
 destroy :: !w -> GtkM () | gtkWidget w
 destroy widget = toState (gtk_widget_destroy (gtkWidget widget))
 
-- 
cgit v1.2.3