Highlights should be displayed sorted by appearance order

This commit is contained in:
Kovid Goyal 2020-08-17 21:31:44 +05:30
parent 7db1a9d0a4
commit bc1aa48632
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -163,6 +163,7 @@ class AnnotationsManager: # {{{
def all_highlights(self):
ans = [h for h in Object.values(self.highlights) if not h.removed].as_array()
sort_annot_list(ans, highlight_get_cfi)
return ans
def merge_highlights(self, highlights):