diff options
Diffstat (limited to 'rts/VisCallbacks.c')
| -rw-r--r-- | rts/VisCallbacks.c | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/rts/VisCallbacks.c b/rts/VisCallbacks.c new file mode 100644 index 0000000000..8e3c6ceb6c --- /dev/null +++ b/rts/VisCallbacks.c @@ -0,0 +1,75 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team 2000 + * + * RTS GTK Front Panel (callbacks) + * + * ---------------------------------------------------------------------------*/ + +#ifdef RTS_GTK_FRONTPANEL + +#include "Rts.h" + +#include <gtk/gtk.h> + +#include "VisCallbacks.h" +#include "VisWindow.h" +#include "VisSupport.h" +#include "FrontPanel.h" + +void +on_cont_radio_clicked (GtkButton *button, + gpointer user_data) +{ + update_mode = Continuous; +} + + +void +on_stop_before_radio_clicked (GtkButton *button, + gpointer user_data) +{ + update_mode = BeforeGC; +} + + +void +on_stop_after_radio_clicked (GtkButton *button, + gpointer user_data) +{ + update_mode = AfterGC; +} + + +void +on_stop_both_radio_clicked (GtkButton *button, + gpointer user_data) +{ + update_mode = BeforeAfterGC; +} + + +void +on_stop_but_clicked (GtkButton *button, + gpointer user_data) +{ + stop_now = TRUE; +} + + +void +on_continue_but_clicked (GtkButton *button, + gpointer user_data) +{ + continue_now = TRUE; +} + + +void +on_quit_but_clicked (GtkButton *button, + gpointer user_data) +{ + quit = TRUE; +} + +#endif /* RTS_GTK_FRONTPANEL */ |