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.h | |
| parent | 0c9809f34b8346c1cde01b63362f3af165758170 (diff) | |
GUI: Implement optional dumping of old results
Diffstat (limited to 'src/gtk-util-routines.h')
| -rw-r--r-- | src/gtk-util-routines.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gtk-util-routines.h b/src/gtk-util-routines.h index eb25dfc8..a6722f5a 100644 --- a/src/gtk-util-routines.h +++ b/src/gtk-util-routines.h @@ -36,6 +36,7 @@ extern int get_bool(GtkWidget *widget); extern unsigned int get_uint(GtkWidget *entry); extern float get_float(GtkWidget *entry); extern int i_maybe_disable(GtkWidget *toggle, GtkWidget *widget); +extern int i_maybe_disable_and_deselect(GtkWidget *toggle, GtkWidget *widget); extern void set_active(GtkWidget *tb, int active); extern void redraw_widget(GtkWidget *wid); |