ajaxorg/cloud9 — pull request #1716 by lennartcl (2012-06-14 13:25:45+00:00)
Title: Fix/codecompletion ui

@zefhemel one more thing: documentation popup height.