+ // give hints to the Window Manager for how the size
+ // of the TLW can be changed by dragging
+ virtual void DoSetSizeHints( int minW, int minH,
+ int maxW = wxDefaultCoord, int maxH = wxDefaultCoord,
+ int incW = wxDefaultCoord, int incH = wxDefaultCoord );
+
+ // return the full size of the window without WM decorations
+ void GTKDoGetSize(int *width, int *height) const;
+