Move new history entries (or new bookmarks ...) to the end if they are already included (!14) · Merge requests · Network / Angelfish

The source project of this merge request has been removed.

Simon Schmeisser requested to merge (removed):fix_history into master Apr 24, 2019

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.

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

Merge request reports