diff options
Diffstat (limited to 'rts/FrontPanel.h')
-rw-r--r-- | rts/FrontPanel.h | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/rts/FrontPanel.h b/rts/FrontPanel.h new file mode 100644 index 0000000000..de3b741657 --- /dev/null +++ b/rts/FrontPanel.h @@ -0,0 +1,35 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team 2000-2005 + * + * RTS GTK Front Panel + * + * ---------------------------------------------------------------------------*/ + +#ifndef FRONTPANEL_H +#define FRONTPANEL_H + +#ifdef RTS_GTK_FRONTPANEL + +#include "Rts.h" /* needed because this file gets included by + * auto-generated code */ + +void initFrontPanel( void ); +void stopFrontPanel( void ); +void updateFrontPanelBeforeGC( nat N ); +void updateFrontPanelAfterGC( nat N, lnat live ); +void updateFrontPanel( void ); + + +/* --------- PRIVATE ----------------------------------------- */ + +#include <gdk/gdktypes.h> + +typedef enum { BeforeGC, AfterGC, BeforeAfterGC, Continuous } UpdateMode; +extern UpdateMode update_mode; +extern gboolean continue_now, stop_now, quit; + +#endif /* RTS_GTK_FRONTPANEL */ + +#endif /* FRONTPANEL_H */ + |