1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team 2000-2005
7 * ---------------------------------------------------------------------------*/
12 #include "BeginPrivate.h"
14 #ifdef RTS_GTK_FRONTPANEL
16 #include "Rts.h" /* needed because this file gets included by
17 * auto-generated code */
19 void initFrontPanel( void );
20 void stopFrontPanel( void );
21 void updateFrontPanelBeforeGC( nat N );
22 void updateFrontPanelAfterGC( nat N, lnat live );
23 void updateFrontPanel( void );
26 /* --------- PRIVATE ----------------------------------------- */
28 #include <gdk/gdktypes.h>
30 typedef enum { BeforeGC, AfterGC, BeforeAfterGC, Continuous } UpdateMode;
31 extern UpdateMode update_mode;
32 extern gboolean continue_now, stop_now, quit;
34 #endif /* RTS_GTK_FRONTPANEL */
36 #include "EndPrivate.h"
38 #endif /* FRONTPANEL_H */