Fix line numbers in grep view when scrolled#813

Merged

jonas merged 1 commit intojonas:masterfrom andebjor:fix_grep_line_numbers

Apr 12, 2018

Commits on Apr 9, 2018

Fix line numbers in grep view when scrolled
andebjor
committed