Add hide function for widgets and ptr instances for GtkFrame and GtkTextBuffer

1 files changed, 12 insertions, 0 deletions

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))