ajaxorg/cloud9 — pull request #331 by javruben (2011-10-17 16:56:51+00:00)
Title: Feature/dragtabs

This is just an update, which adds david's design tweaks to the tab section.