ghc/rts/VisCallbacks.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#include <gtk/gtk.h>


void
on_cont_radio_clicked                  (GtkButton       *button,
                                        gpointer         user_data);

void
on_stop_before_radio_clicked           (GtkButton       *button,
                                        gpointer         user_data);

void
on_stop_after_radio_clicked            (GtkButton       *button,
                                        gpointer         user_data);

void
on_stop_both_radio_clicked             (GtkButton       *button,
                                        gpointer         user_data);

void
on_stop_but_clicked                    (GtkButton       *button,
                                        gpointer         user_data);

void
on_continue_but_clicked                (GtkButton       *button,
                                        gpointer         user_data);

void
on_quit_but_clicked                    (GtkButton       *button,
                                        gpointer         user_data);