sS javascript_setWindowBounds(Rect r) {
  ret r == null ? "" : 
    "window.moveTo(0, 0); " +
    "window.resizeTo(\*r.w*/, \*r.h*/); " +
    "window.moveTo(\*r.x*/, \*r.y*/);";
}