On Wed, 13 Dec 2000, Thomas Kuehne wrote:

> What about making the system window borders a bit thicker? It is
> always a bit of a precision job to hit the border with the mouse
> pointer so that resizing is possible.

Resizing is a hack right now - very simple, very efficient (code-wise, as
well as screen-real-estate-wise). There actually is no border that is
sensitive for resizing, but the window is just waiting for
mouse-leave/enter events and pops up a yellow handle dot eventually. So
one would have to assemble a real WindowFrame that handles resizing.

-- Bert