ajaxorg/cloud9 — pull request #2281 by giannis (2012-10-05 16:37:00+00:00)
Title: * fix for "incomplete implementation of UI"

* fixes ajaxorg/cloud9infra#2839

@ajaxorg/dijkstra