ajaxorg/cloud9 — pull request #2223 by lennartcl (2012-09-24 14:46:03+00:00)
Title: [Liskov] [Trivial] Fix editor focus

This fixes the editor focus issues described in ajaxorg/cloud9infra#2689, ajaxorg/cloud9infra#2701, #2209.