1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team 2000
7 * ---------------------------------------------------------------------------*/
9 #ifdef RTS_GTK_FRONTPANEL
11 #include "Rts.h" /* needed because this file gets included by
12 * auto-generated code */
14 void initFrontPanel( void );
15 void stopFrontPanel( void );
16 void updateFrontPanelBeforeGC( nat N );
17 void updateFrontPanelAfterGC( nat N, lnat live );
18 void updateFrontPanel( void );
21 /* --------- PRIVATE ----------------------------------------- */
23 #include <gdk/gdktypes.h>
25 typedef enum { BeforeGC, AfterGC, BeforeAfterGC, Continuous } UpdateMode;
26 extern UpdateMode update_mode;
27 extern gboolean continue_now, stop_now, quit;
29 #endif /* RTS_GTK_FRONTPANEL */