ghc/rts/FrontPanel.h

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