ajaxorg/cloud9 — pull request #585 by janjongboom (2011-11-30 10:46:44+00:00)
Title: Themes other than textmate crash the IDE

@sergi @mikedeboer @fjakobs