| commit | 023b4c1a17a8a1e97a9044b9d193c525fa3ce992 | |
| author | David Aguilar <davvid@gmail.com> | |
| Mon, 6 Jan 2014 01:02:07 +0000 (5 17:02 -0800) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Mon, 6 Jan 2014 01:02:07 +0000 (5 17:02 -0800) | ||
| tree | f12421ba4f26a0b37d3416922392e83207772e4f | treesnapshot (tar.gz zip) |
| parent | 923b7831825cf85514e5c1b715ff73f957e682dc | commitdiff |
bookmarks: avoid duplicates between the recent and bookmarked lists
We display recently opened repos as well as bookmarked repos. Recent
repos are listed first.
Prevent duplicates when adding the bookmarked repos by checking whether
they are already in the set of recent repos.
Signed-off-by: David Aguilar <davvid@gmail.com>
We display recently opened repos as well as bookmarked repos. Recent
repos are listed first.
Prevent duplicates when adding the bookmarked repos by checking whether
they are already in the set of recent repos.
Signed-off-by: David Aguilar <davvid@gmail.com>
| cola/widgets/bookmarks.py | diffblobblamehistory |