Fixed: GtkWidget.is_visible() is not available in gtk-3.4; reported by @coslyk