Fix window.resize handler on IE8 and Opera (#1488453)

Thomas Bruederli

2012-05-31 8ce602461821bfc4fb1c5b2d40fb7468d9c299c7

 skins/larry/ui.js

@@ -207,12 +207,8 @@
    })
    .contents().mouseup(body_mouseup);

    $(window).resize(function(e) {
      // check target due to bugs in jquery
      // http://bugs.jqueryui.com/ticket/7514
      // http://bugs.jquery.com/ticket/9841
      if (e.target == window) resize();
    });
    // don't use $(window).resize() due to some unwanted side-effects
    window.onresize = resize;
  }

  /**