ajaxorg/cloud9 — pull request #2285 by giannis (2012-10-08 09:49:46+00:00)
Title: Update goto file

* fix for gotofile search and ui