From 19622ae72b27d70a79e31e8454c8edcdb0d6c05b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 20 Oct 2019 12:43:09 +0200
Subject: Add GtkBox support

---
 src/Gtk/Widgets.dcl | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

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

diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index 8147c41..914b90b 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -5,8 +5,8 @@ from StdMaybe import :: Maybe
 from System._Pointer import :: Pointer
 
 from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState
-from Gtk.Types import :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize,
-	:: GtkShrink
+from Gtk.Types import :: GtkDirection, :: GtkExpand, :: GtkOrientation,
+	:: GtkPanedHandleWidth, :: GtkResize, :: GtkShrink
 
 class ptr a :: !a -> Pointer
 
@@ -26,6 +26,13 @@ instance gtkContainer GtkContainer
 
 addToContainer :: !w !c -> State GtkState () | gtkWidget w & gtkContainer c
 
+:: GtkBox
+instance gtkWidget GtkBox
+instance gtkContainer GtkBox
+
+newBox :: !GtkOrientation !Int -> State GtkState GtkBox
+packBox :: !w !GtkBox !GtkDirection !GtkExpand -> State GtkState () | gtkWidget w
+
 :: GtkPaned
 instance gtkWidget GtkPaned
 instance gtkContainer GtkPaned
-- 
cgit v1.2.3