ajaxorg/cloud9 — pull request #1492 by gjtorikian (2012-05-12 20:50:31+00:00)
Title: Add "reveal in tree" pref for files; fix dropdowns in preferences

In other words, fixes

https://github.com/ajaxorg/cloud9infra/issues/1175
https://github.com/ajaxorg/cloud9infra/issues/1062