In the meanwhile, you can get the size of the PV by typing [window.]innerWidth and [window.]innerHeight (without brackets: 'window.' is optional) in the JavaScript console of the PV's Development Tools.
You can't set a new size, and you must retype the command every time, but at least you get it.
|