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

Thomas Bruederli

2012-05-31 a2027101df54453a162b6a609bc85e5488ed7284

 skins/larry/ui.js

@@ -209,12 +209,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;
  }

  /**