Tim van der Meij 4724ebbcf1
Merge pull request #10231 from Snuffleupagus/find-no-scroll-highlightAll
Stop scrolling the document when "Highlight All" is toggled in the findbar (issue 5561)
2018-11-10 20:37:47 +01:00
..
2018-05-14 23:10:32 -04:00
2018-05-14 23:10:32 -04:00