ghc/rts/FrontPanel.h

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