This is a confirmation of Dmitri's observation:
If I switch away from Gnome 3 on the client ("initiating") side, then
there's no longer an issue with dead areas on the top and bottom of the
remote desktop.
--
Regards,
Troels Arvin <troels at arvin.dk>
http://troels.arvin.dk/