ghc/rts/VisCallbacks.h

   1 #include <gtk/gtk.h>
   2
   3
   4 void
   5 on_cont_radio_clicked                  (GtkButton       *button,
   6                                         gpointer         user_data);
   7
   8 void
   9 on_stop_before_radio_clicked           (GtkButton       *button,
  10                                         gpointer         user_data);
  11
  12 void
  13 on_stop_after_radio_clicked            (GtkButton       *button,
  14                                         gpointer         user_data);
  15
  16 void
  17 on_stop_both_radio_clicked             (GtkButton       *button,
  18                                         gpointer         user_data);
  19
  20 void
  21 on_stop_but_clicked                    (GtkButton       *button,
  22                                         gpointer         user_data);
  23
  24 void
  25 on_continue_but_clicked                (GtkButton       *button,
  26                                         gpointer         user_data);
  27
  28 void
  29 on_quit_but_clicked                    (GtkButton       *button,
  30                                         gpointer         user_data);