If you could try this before I submit to Kovid, that would be useful.
Add in gui2.library.models.py at line 280, just before 'search(...)
Code:
def highlight_ids(self, ids_to_highlight):
self.ids_to_highlight = ids_to_highlight
self.ids_to_highlight_set = set(self.ids_to_highlight)
if self.ids_to_highlight:
self.current_highlighted_idx = 0
else:
self.current_highlighted_idx = None
self.reset()