ajaxorg/cloud9 — pull request #2045 by lennartcl (2012-08-13 10:20:34+00:00)
Title: [Liskov] Fix undefined editor

Trivial fix for #2445 reported by @sergi.