summaryrefslogtreecommitdiff
path: root/src/Gtk
diff options
context:
space:
mode:
Diffstat (limited to 'src/Gtk')
-rw-r--r--src/Gtk/Internal.dcl1
-rw-r--r--src/Gtk/Internal.icl5
-rw-r--r--src/Gtk/Widgets.dcl1
-rw-r--r--src/Gtk/Widgets.icl5
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