diff options
| author | Camil Staps | 2019-10-20 13:37:53 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-20 13:37:53 +0200 |
| commit | 354322c0023e470b5b0830916fb7ae868ad8760d (patch) | |
| tree | e7c24f16329036b4685b994363ad2612bc98ac10 /src/Gtk/Widgets.dcl | |
| parent | Move position of GtkFrame label; add framed helper combinator (diff) | |
Add setMargins
Diffstat (limited to 'src/Gtk/Widgets.dcl')
| -rw-r--r-- | src/Gtk/Widgets.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index 03b56b7..791796e 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -6,7 +6,8 @@ from System._Pointer import :: Pointer from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState from Gtk.Types import :: GtkDirection, :: GtkExpand, :: GtkLabel, - :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, :: GtkShrink + :: GtkMargins, :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, + :: GtkShrink class ptr a :: !a -> Pointer @@ -17,6 +18,8 @@ class gtkWidget a :: !a -> GtkWidget instance gtkWidget GtkWidget instance ptr GtkWidget +setMargins :: !GtkMargins !w -> State GtkState () | gtkWidget w + :: GtkContainer class gtkContainer a :: !a -> GtkContainer |