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