I have noticed a similar behaviour when dealing with .djvu files, where it seems to occur whenever the current result is located at the bottom of the screen. In this case said result will not be highlighted as darker than other results like it should. The list of results on the left is always empty on .djvu files as well.
I have noticed a similar behaviour when dealing with .djvu files, where it seems to occur whenever the current result is located at the bottom of the screen. In this case said result will not be highlighted as darker than other results like it should. The list of results on the left is always empty on .djvu files as well.