Merge pull request #1290 from gpasztor87/codeeditor

Add searchbox extension to codeeditor
This commit is contained in:
Samuel Georges 2015-07-25 15:17:57 +10:00
commit dab54d2a2c

File diff suppressed because one or more lines are too long