Fix clearing of annot_id_uuid_map

This commit is contained in:
Kovid Goyal 2023-09-04 11:31:07 +05:30
parent 2774379f06
commit 1e33d28d3e
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -117,8 +117,8 @@ annot_id_uuid_map = {}
def clear_annot_id_uuid_map():
nonlocal annot_id_uuid_map
annot_id_uuid_map = {}
for key in Object.keys(annot_id_uuid_map):
v'delete annot_id_uuid_map[key]'
def is_dark_theme(set_val):