Searched refs:widget_none (Results 1 – 1 of 1) sorted by relevance
488 GtkWidget *widget_none, in toggle_prop_visible() argument492 gtk_widget_set_visible (widget_none, ! available); in toggle_prop_visible()