diff options
| author | Thomas White <taw@physics.org> | 2021-02-25 13:22:40 +0100 |
|---|---|---|
| committer | Thomas White <taw@physics.org> | 2021-02-25 13:23:13 +0100 |
| commit | 92513549075ae4acd101a291d033418ee30607a4 (patch) | |
| tree | ed00a55d648ba0e0713fb986643d0381632cd22f /src/gtk-util-routines.c | |
| parent | 0c9809f34b8346c1cde01b63362f3af165758170 (diff) | |
GUI: Implement optional dumping of old results
Diffstat (limited to 'src/gtk-util-routines.c')
| -rw-r--r-- | src/gtk-util-routines.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/gtk-util-routines.c b/src/gtk-util-routines.c index f709921d..a5e04457 100644 --- a/src/gtk-util-routines.c +++ b/src/gtk-util-routines.c @@ -94,6 +94,17 @@ int i_maybe_disable(GtkWidget *toggle, GtkWidget *widget) } +int i_maybe_disable_and_deselect(GtkWidget *toggle, GtkWidget *widget) +{ + int active = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(toggle)); + gtk_widget_set_sensitive(GTK_WIDGET(widget), active); + if ( !active ) { + gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(widget), FALSE); + } + return FALSE; +} + + void set_active(GtkWidget *tb, int active) { gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(tb), active); |