Reset search cache when applying highlight

This commit is contained in:
Kovid Goyal 2020-04-08 14:56:10 +05:30
parent be78740efe
commit 73a08a9e15
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -648,6 +648,7 @@ class IframeBoss:
window.getSelection().removeAllRanges() window.getSelection().removeAllRanges()
self.annot_id_uuid_map[annot_id] = data.uuid self.annot_id_uuid_map[annot_id] = data.uuid
self.send_message('annotations', type='highlight-applied', uuid=data.uuid, ok=annot_id is not None, bounds=bounds) self.send_message('annotations', type='highlight-applied', uuid=data.uuid, ok=annot_id is not None, bounds=bounds)
reset_find_caches()
else: else:
console.log('Ignoring annotations message to iframe with unknown type: ' + data.type) console.log('Ignoring annotations message to iframe with unknown type: ' + data.type)