// implementation from now on
// --------------------------
+ // move the window to the specified location and resize it: this is called
+ // from both DoSetSize() and DoSetClientSize()
+ virtual void DoMoveWindow(int x, int y, int width, int height);
+
// GTK callbacks
virtual void GtkOnSize( int x, int y, int width, int height );
virtual void OnInternalIdle();