Move new history entries (or new bookmarks ...) to the end if they are already…

Authored by schmeisser on Mar 20 2019, 8:45 PM.

Description

Move new history entries (or new bookmarks ...) to the end if they are already included

this will ensure that the history is actually sorted by last visit not by first visit.
It will also help the completion show more relevant (ie more recently visited) proposals.

Details

Committed
schmeisserApr 17 2019, 4:37 PM
Parents
R23:0062c78579a7: Fix remaining refrerence error
Branches
Unknown
Tags
Unknown