ajaxorg/cloud9 — pull request #1401 by sergi (2012-05-03 10:44:27+00:00)
Title: Fixes for revisions

Fixed in this PR:

- Fix JavaScript error when closing file.
- Fixed document being editable while on revision mode.

@janjongboom @zefhemel