+ /**
+ Returns the sash size in pixels.
+
+ The size of the sash is its width for a vertically split window and its
+ height for a horizontally split one. Its other direction is the same as
+ the client size of the window in the corresponding direction.
+
+ The sash size is platform-dependent because it conforms to the current
+ platform look-and-feel and cannot be changed.
+ */
+ int GetSashSize() const;
+