ajaxorg/cloud9 — pull request #2177 by giannis (2012-09-11 14:30:55+00:00)
Title: [Dijkstra] fix for "Disable editing options when in readonly mode"

* fixes ajaxorg/cloud9infra#2584

@linh81