#1378 Sort bookmarks according to their order in document

[Anonymous]

I'd like to have a button that sorts bookmarks on the bookmark panel according to their order in the document (or even better, a checkbox that makes this behavior default). This will make navigation easier, because I do remember the structure of my document, but I don't remember the order of bookmarks. I can still sort them manually, but it distracts me from my work.