gitlabhq/gitlabhq — pull request #7620 by zzet (2014-08-28 07:41:09+00:00)
Title: Add search in textarea

https://github.com/ajaxorg/ace/blob/master/lib/ace/commands/default_commands.js#L176-L181

![](http://puu.sh/bbaqJ/543724d544.png)