ajaxorg/cloud9 — pull request #1509 by javruben (2012-05-14 02:04:15+00:00)
Title: * Fix dragging of dock panels

* Fix problem with bg of tabs getting out of tab area

Fixes ajaxorg/cloud9infra#1148