Tim van der Meij d0620ec894
Merge pull request #10100 from Snuffleupagus/findbarclose
Clear all find highlights when the findbar is closed (issue 7468)
2018-09-30 15:35:00 +02:00
..
2018-05-14 23:10:32 -04:00
2018-05-14 23:10:32 -04:00