Bug#893771: djview: Clearing highlights no longer works

2018-03-22 Thread Janusz S. Bień
On Thu, Mar 22 2018 at 13:47 GMT, ba...@pearlmutter.net writes: > Thanks for the bug report. > > What I'm seeing is that if I search (C-f text) and then terminate the > search (ESC) the found text is highlighted. If I scroll to the next > page and then back, it stays hightlighted. But if I 'H' then

Bug#893771: djview: Clearing highlights no longer works

2018-03-22 Thread Barak A. Pearlmutter
Thanks for the bug report. What I'm seeing is that if I search (C-f text) and then terminate the search (ESC) the found text is highlighted. If I scroll to the next page and then back, it stays hightlighted. But if I 'H' then the highlight indicator gets a tiny bit smaller, but if I scroll to the

Bug#893771: djview: Clearing highlights no longer works

2018-03-21 Thread Janusz S. Bień
Package: djview Version: 3.5.27.1-7 Severity: normal Dear Maintainer, The feature added some time ago on my request --8<---cut here---start->8--- commit c2036490129cd8481bc5527301572a90b26c79b6 Author: Leon Bottou Date: Sat Mar 30 11:32:59 2013 -0400