Virtuosoの画面サイズをSKILLコマンドで制御する(hiResizeWindow)

windowid=hiGetCurrentWindow()
hiResizeWindow(windowid list(x1:y1 x2:y2))

x1:y1は左下，x2:y2は右上の座標．
x1=0にするとウィンドウマネージャのバナー分だけ上にずれるので，x1=1にしてやるとずれなくなる．(環境依存?)

2019/07/27追記
これを応用すると，WindowsでいうWindowsキー+上下左右カーソルキーに相当するコマンドを実行できます．超便利．