int getDrawAreaWidth() { return drawAreaWidth; }
int getDrawAreaHeight() { return drawAreaHeight; }
void setBusyCursor(GBool busy);
int getDrawAreaWidth() { return drawAreaWidth; }
int getDrawAreaHeight() { return drawAreaHeight; }
void setBusyCursor(GBool busy);