This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Add option for first highlight index in Quick Open and Search History#13444

Merged

marcelgerber merged 4 commits intomasterfrom saurabh95/HighlightIndexQuickOpen

Jun 15, 2017

+14-2

Commits on Jun 14, 2017

Fixed #13437
saurabh95
committed
minor change
saurabh95
committed

Commits on Jun 15, 2017