ajaxorg/cloud9 — Issue #715: Search in files hotkey doesn't work anymore
Author: mikedeboer
Created: 2011-12-19 09:45:21+00:00
State: open

Please check Option-Shift-F