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 #include "BeginPrivate.h"
  13
  14 #ifdef RTS_GTK_FRONTPANEL
  15
  16 #include "Rts.h"  /* needed because this file gets included by
  17                    * auto-generated code */
  18
  19 void initFrontPanel( void );
  20 void stopFrontPanel( void );
  21 void updateFrontPanelBeforeGC( nat N );
  22 void updateFrontPanelAfterGC( nat N, lnat live );
  23 void updateFrontPanel( void );
  24
  25
  26 /* --------- PRIVATE ----------------------------------------- */
  27
  28 #include <gdk/gdktypes.h>
  29
  30 typedef enum { BeforeGC, AfterGC, BeforeAfterGC, Continuous } UpdateMode;
  31 extern UpdateMode update_mode;
  32 extern gboolean continue_now, stop_now, quit;
  33
  34 #endif /* RTS_GTK_FRONTPANEL */
  35
  36 #include "EndPrivate.h"
  37
  38 #endif /* FRONTPANEL_H */
  39