ajaxorg/cloud9 — pull request #1367 by giannis (2012-04-25 14:13:26+00:00)
Title: * fix for console max height

fixes the issue
https://github.com/ajaxorg/cloud9infra/issues/819

@janjongboom or @mattpardee or @gjtorikian or @linh81