#550 In-note-search doesn't jump to occurrence of searchstring#700

Merged

stefan-niedermann merged 12 commits intomasterfrom 550-in-note-search-jump-to-first-occurrence

Jan 23, 2020

+456-155

Commits on Jan 22, 2020

#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed

Commits on Jan 23, 2020

#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed
#550 In-note-search doesn't jump to occurrence of searchstring
stefan-niedermann
committed