int windowSize() const { return _windowSize; }
void setWindowSize(int windowSize);
void redraw();
bool on_expose_event (GdkEventExpose* event);
int windowSize() const { return _windowSize; }
void setWindowSize(int windowSize);
void redraw();
bool on_expose_event (GdkEventExpose* event);