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

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

diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index a04929c..13ee89c 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -55,6 +55,7 @@ getFileWithDialog :: !GtkWindow !GtkFileChooserAction !(Maybe String) -> GtkM (M
 :: GtkFrame
 instance gtkWidget GtkFrame
 instance gtkContainer GtkFrame
+instance ptr GtkFrame
 
 newFrame :: !GtkLabel !w -> GtkM GtkFrame | gtkWidget w
 framed :: !GtkLabel !(GtkM w) -> GtkM (w, GtkFrame) | gtkWidget w
@@ -118,6 +119,7 @@ startSpinner :: !GtkSpinner -> GtkM GtkSpinner
 stopSpinner :: !GtkSpinner -> GtkM GtkSpinner
 
 :: GtkTextBuffer
+instance ptr GtkTextBuffer
 
 setText :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
 setMarkup :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
@@ -140,6 +142,7 @@ instance gtkWidget GtkWidget
 instance ptr GtkWidget
 
 show :: !w -> GtkM w | gtkWidget w
+hide :: !w -> GtkM w | gtkWidget w
 destroy :: !w -> GtkM () | gtkWidget w
 
 addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w
-- 
cgit v1.2.3