ajaxorg/cloud9 — pull request #2315 by lennartcl (2012-10-12 12:10:01+00:00)
Title: [Liskov] Fix annoying little square

This cherry-pick 0c8911f from #/2194 to fix the annoying little square thing.