[gps-users] MDI Child Window Resize Bug

[Emmanuel Briot]

> This is such an obvious bug that I would assume that it is a known
> issue but since it does not seem to have gone away (even in the
> 1.4.1 branch) perhaps there is something unique about my install?

This is indeed a known problem, although not so obvious, given that most
people generally use maximized windows (possibly split to match the
user's preferred configuration).

We haven't been able to fix it yet, although this is on the TODO list.

regards,
Emmanuel