Highlight global search matches on code editor#1524

Merged

Rokt33r merged 2 commits intoBoostIO:masterfrom

Redsandro:highlightSearch

Feb 22, 2018

Commits on Feb 20, 2018

Highlight global search matches on code editor
Redsandro
committed

Commits on Feb 22, 2018

Merge remote-tracking branch 'origin/master' into highlightSearch
Rokt33r
committed