Tim van der Meij 991a574c60
Merge pull request #10184 from Snuffleupagus/findbarclose-abort
Ensure that matches are not scrolled into after the findbar has been closed (PR 10100 follow-up)
2018-10-28 14:01:03 +01:00
..
2018-05-14 23:10:32 -04:00
2018-05-14 23:10:32 -04:00