scala/scala — pull request #1480 by ingoem (2012-10-09 13:41:05+00:00)
Title: Fixes SI-6170: issue with dragging scaladoc splitter over central iframe

Setting a simple jquery layout flag was enough. This PR also includes the correct jquery-ui.js. Review by @VladUreche, @heathermiller