1 /* -----------------------------------------------------------------------------
2 * $Id: FrontPanel.h,v 1.1 2000/11/01 11:41:47 simonmar Exp $
4 * (c) The GHC Team 2000
8 * ---------------------------------------------------------------------------*/
10 #ifdef RTS_GTK_FRONTPANEL
12 #include "Rts.h" /* needed because this file gets included by
13 * auto-generated code */
15 void initFrontPanel( void );
16 void stopFrontPanel( void );
17 void updateFrontPanelBeforeGC( nat N );
18 void updateFrontPanelAfterGC( nat N, lnat live );
19 void updateFrontPanel( void );
22 /* --------- PRIVATE ----------------------------------------- */
24 #include <gdk/gdktypes.h>
26 typedef enum { BeforeGC, AfterGC, BeforeAfterGC, Continuous } UpdateMode;
27 extern UpdateMode update_mode;
28 extern gboolean continue_now, stop_now, quit;
30 #endif /* RTS_GTK_FRONTPANEL */