[GRASS5] monitor resize

[Glynn Clements]

Huidae Cho wrote:

> 1. d.mon -s start=x0
> 2. d.mon select=x0
> 3. Resizing works!
> 
> But,
> 
> 1. d.mon -s start=x0; d.mon select=x0
> 2. Resizing doesn't work!
> 
> But!
> 
> 1. d.mon -s start=x0; sleep 1; d.mon select=x0
> 2. Resizing works!
> 
> It's interesting!  Maybe, WM doesn't have enough time to do something
> when select is executed immediately after start.
> 
> Do you have any idea?

The difference between the second and third cases suggests that it's a
bug in the WM, as being able to resize should only depend upon the
current settings, not previous settings.

The properties start off with just USSize set. When a client connects,
they change to PSize|PMinSize|PMaxSize; when it disconnects, it
reverts to just PSize.

The one thing which will definitely fix it is to bypass the calls to
set_size(). But then the responsibility for ensuring that the window
isn't resized while a client is connected falls to the user.

-- 
Glynn Clements <glynn at gclements.plus.com>