RE: set-frame-parameter

[Drew Adams]

Do we know whether it was explicitly by design
that you can't change the frame size when it's
fullscreen without first turning off fullscreen?

That seems odd to me, but perhaps it is by design
and there's a good reason for it.  If not, maybe
it should be fixed...