// return the size of the window without WM decorations
void GTKDoGetSize(int *width, int *height) const;
+ void GTKUpdateDecorSize(const wxSize& decorSize);
+
protected:
// give hints to the Window Manager for how the size
// of the TLW can be changed by dragging