flutter/GitJournal
1
0
Fork 0
mirror of https://github.com/GitJournal/GitJournal.git synced 2025-06-28 01:45:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

NoteCache: Avoid duplicates

Browse Source 
This should ideally never happen, but it seems to be occasionally happening
for some reason.
This commit is contained in:
Vishesh Handa
2020-05-14 16:59:03 +02:00
parent 89deac3770
commit 87393ac588
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/core/notes_cache.dart
View File

@ -85,7 +85,9 @@ class NotesCache {
var heap = HeapPriorityQueue<Note>(reversedFn); var heap = HeapPriorityQueue<Note>(reversedFn);
for (var note in allNotes) { for (var note in allNotes) {
heap.add(note); if (!heap.contains(note)) {
heap.add(note);
}
if (heap.length > CACHE_SIZE) { if (heap.length > CACHE_SIZE) {
heap.removeFirst(); heap.removeFirst();
} }