summaryrefslogtreecommitdiff
path: root/src/Gtk/Widgets.dcl
diff options
context:
space:
mode:
authorCamil Staps2019-10-21 22:25:25 +0200
committerCamil Staps2019-10-21 22:25:25 +0200
commitfa2213d9f555d5e9c6915ae4ba6ba78ce87c541d (patch)
tree8c3a95590d2a7e8ea5f7732bcf6a83b7161a0ecc /src/Gtk/Widgets.dcl
parentRemove usage of import qualified as, which relies on the itask compiler (diff)
Add support for file choosers
Diffstat (limited to 'src/Gtk/Widgets.dcl')
-rw-r--r--src/Gtk/Widgets.dcl22
1 files changed, 19 insertions, 3 deletions
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