ajaxorg/cloud9 — pull request #2368 by giannis (2012-10-29 14:04:24+00:00)
Title: * fix for untitled header on the left panel

@zefhemel