ajaxorg/cloud9 — pull request #706 by mikedeboer (2011-12-16 11:02:39+00:00)
Title: fixed JS error when closing a file

@sergi or @fjakobs