ajaxorg/cloud9 — pull request #1040 by giannis (2012-03-06 10:11:06+00:00)
Title: * hotfix for console minheight

@sergi or @zefhemel
fix for issue
https://github.com/ajaxorg/cloud9/issues/479