ghc/rts/VisCallbacks.c

   1 /* -----------------------------------------------------------------------------
   2  * $Id: VisCallbacks.c,v 1.1 2000/11/01 11:41:47 simonmar Exp $
   3  *
   4  * (c) The GHC Team 2000
   5  *
   6  * RTS GTK Front Panel (callbacks)
   7  *
   8  * ---------------------------------------------------------------------------*/
   9
  10 #ifdef RTS_GTK_FRONTPANEL
  11
  12 #define NON_POSIX_SOURCE
  13
  14 #include "Rts.h"
  15
  16 #include <gtk/gtk.h>
  17
  18 #include "VisCallbacks.h"
  19 #include "VisWindow.h"
  20 #include "VisSupport.h"
  21 #include "FrontPanel.h"
  22
  23 void
  24 on_cont_radio_clicked                  (GtkButton       *button,
  25                                         gpointer         user_data)
  26 {
  27     update_mode = Continuous;
  28 }
  29
  30
  31 void
  32 on_stop_before_radio_clicked           (GtkButton       *button,
  33                                         gpointer         user_data)
  34 {
  35     update_mode = BeforeGC;
  36 }
  37
  38
  39 void
  40 on_stop_after_radio_clicked            (GtkButton       *button,
  41                                         gpointer         user_data)
  42 {
  43     update_mode = AfterGC;
  44 }
  45
  46
  47 void
  48 on_stop_both_radio_clicked             (GtkButton       *button,
  49                                         gpointer         user_data)
  50 {
  51     update_mode = BeforeAfterGC;
  52 }
  53
  54
  55 void
  56 on_stop_but_clicked                    (GtkButton       *button,
  57                                         gpointer         user_data)
  58 {
  59     stop_now = TRUE;
  60 }
  61
  62
  63 void
  64 on_continue_but_clicked                (GtkButton       *button,
  65                                         gpointer         user_data)
  66 {
  67     continue_now = TRUE;
  68 }
  69
  70
  71 void
  72 on_quit_but_clicked                    (GtkButton       *button,
  73                                         gpointer         user_data)
  74 {
  75     quit = TRUE;
  76 }
  77
  78 #endif /* RTS_GTK_FRONTPANEL */