ajaxorg/cloud9 — pull request #527 by mikedeboer (2011-11-28 09:07:42+00:00)
Title: Feature/search counter

@sergi @rubendaniels search count is back! Now looks like Chrome search