#ifndef _WINDOWS_
#define _WINDOWS_

extern WT_CONTROL WT_LEFT;
extern WT_CONTROL WT_CENTRE;
extern WT_CONTROL WT_RIGHT;

extern WT_COLOUR WT_BLACK;
extern WT_COLOUR WT_BLUE;
extern WT_COLOUR WT_GREEN;
extern WT_COLOUR WT_CYAN;
extern WT_COLOUR WT_RED;
extern WT_COLOUR WT_MAGENTA;
extern WT_COLOUR WT_BROWN;
extern WT_COLOUR WT_LIGHTGRAY;
extern WT_COLOUR WT_DARKGRAY;
extern WT_COLOUR WT_LIGHTBLUE;
extern WT_COLOUR WT_LIGHTGREEN;
extern WT_COLOUR WT_LIGHTCYAN;
extern WT_COLOUR WT_LIGHTRED;
extern WT_COLOUR WT_LIGHTMAGENTA;
extern WT_COLOUR WT_YELLOW;
extern WT_COLOUR WT_WHITE;

extern GrTextOption *normalfont;
extern GrTextOption *normalfont_ital;
extern GrTextOption *normalfont_bold;
extern GrTextOption *nicefont;
extern GrTextOption *nicefont_ital;
extern GrTextOption *nicefont_bold;

extern Initialise_Windows();
extern Closedown_Windows();
extern int Update_Mouse();
extern int Update_Mouse_NoWait();

extern MouseEvent event;
extern void ProgError( char *errstr, ...);

#endif