rts/FrontPanel.h

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