diff options
Diffstat (limited to 'src/Gtk')
-rw-r--r-- | src/Gtk/Internal.dcl | 1 | ||||
-rw-r--r-- | src/Gtk/Internal.icl | 5 | ||||
-rw-r--r-- | src/Gtk/Widgets.dcl | 1 | ||||
-rw-r--r-- | src/Gtk/Widgets.icl | 5 |
4 files changed, 12 insertions, 0 deletions
diff --git a/src/Gtk/Internal.dcl b/src/Gtk/Internal.dcl index 2122531..4d6920e 100644 --- a/src/Gtk/Internal.dcl +++ b/src/Gtk/Internal.dcl @@ -155,6 +155,7 @@ gtk_widget_get_screen :: !Pointer !.a -> (!Pointer, !.a) gtk_widget_get_style_context :: !Pointer !.a -> (!Pointer, !.a) gtk_widget_grab_focus :: !Pointer !.a -> .a gtk_widget_hide :: !Pointer !.a -> .a +gtk_widget_is_visible :: !Pointer !.a -> (!Bool, !.a) gtk_widget_set_halign :: !Pointer !Int !.a -> .a gtk_widget_set_hexpand :: !Pointer !Bool !.a -> .a gtk_widget_set_margin_bottom :: !Pointer !Int !.a -> .a diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl index 95b4b2a..eeffe6b 100644 --- a/src/Gtk/Internal.icl +++ b/src/Gtk/Internal.icl @@ -728,6 +728,11 @@ gtk_widget_hide widget env = code { ccall gtk_widget_hide "p:V:A" } +gtk_widget_is_visible :: !Pointer !.a -> (!Bool, !.a) +gtk_widget_is_visible widget env = code { + ccall gtk_widget_is_visible "p:I:A" +} + gtk_widget_set_halign :: !Pointer !Int !.a -> .a gtk_widget_set_halign widget align env = code { ccall gtk_widget_set_halign "pI:V:A" diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index e33eb89..9fba147 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -227,6 +227,7 @@ instance gtkWidget GtkWidget show :: !w -> GtkM w | gtkWidget w hide :: !w -> GtkM w | gtkWidget w +isVisible :: !w -> GtkM Bool | gtkWidget w destroy :: !w -> GtkM () | gtkWidget w grabFocus :: !w -> GtkM w | gtkWidget w diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl index e457ee8..ff162cd 100644 --- a/src/Gtk/Widgets.icl +++ b/src/Gtk/Widgets.icl @@ -489,6 +489,11 @@ hide widget = toState (gtk_widget_hide w) >>| pure widget +isVisible :: !w -> GtkM Bool | gtkWidget w +isVisible widget = + let (GtkWidget w) = gtkWidget widget in + toStateR (gtk_widget_is_visible w) + destroy :: !w -> GtkM () | gtkWidget w destroy widget = let (GtkWidget w) = gtkWidget widget in |