--- /dev/null
+/* -----------------------------------------------------------------------------
+ *
+ * (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 */