From fa2213d9f555d5e9c6915ae4ba6ba78ce87c541d Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 21 Oct 2019 22:25:25 +0200
Subject: Add support for file choosers

---
 src/Gtk/Widgets.dcl | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

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

diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index 2403b40..55a6ad4 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -7,8 +7,9 @@ from System._Pointer import :: Pointer
 
 from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState, :: GtkM
 from Gtk.Types import :: GtkCSSClass, :: GtkDirection, :: GtkExpand,
-	:: GtkLabel, :: GtkMargins, :: GtkOrientation, :: GtkPanedHandleWidth,
-	:: GtkResize, :: GtkShrink, :: GtkStylePriority
+	:: GtkFileChooserAction, :: GtkLabel, :: GtkMargins, :: GtkOrientation,
+	:: GtkPanedHandleWidth, :: GtkResize, :: GtkResponse, :: GtkShrink,
+	:: GtkStylePriority
 
 class ptr a
 where
@@ -22,10 +23,12 @@ class gtkWidget a :: !a -> GtkWidget
 instance gtkWidget GtkWidget
 instance ptr GtkWidget
 
+show :: !w -> GtkM w | gtkWidget w
+destroy :: !w -> GtkM () | gtkWidget w
+
 addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w
 removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w
 setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w
-show :: !w -> GtkM w | gtkWidget w
 
 :: GtkContainer
 
@@ -37,6 +40,19 @@ instance ptr GtkContainer
 
 addToContainer :: !c !w -> GtkM w | gtkWidget w & gtkContainer c
 
+:: GtkDialog
+
+class gtkDialog a :: !a -> GtkDialog
+
+instance gtkWidget GtkDialog
+instance gtkContainer GtkDialog
+instance gtkDialog GtkDialog
+instance ptr GtkDialog
+
+runDialog :: !d -> GtkM GtkResponse | gtkDialog d
+
+getFileWithDialog :: !GtkWindow !GtkFileChooserAction !(Maybe String) -> GtkM (Maybe FilePath)
+
 :: GtkBox
 instance gtkWidget GtkBox
 instance gtkContainer GtkBox
-- 
cgit v1.2.3