On 4/17/19 5:22 AM, Erik P. Olsen wrote:
Yes I did reboot but somewhat later I went into settings to see what the screen resolution was. I tried to change it into something more resonable and then, lo and behold, the screen did actually resize. And all is well.
Good, and FWIW, VirtualBox-6.0-6 was just released which contains the Guest Additions fix and more.