equal
deleted
inserted
replaced
31 selection, exclusion) |
31 selection, exclusion) |
32 total = len(bookmarks) |
32 total = len(bookmarks) |
33 if len(bookmarks) > 0: |
33 if len(bookmarks) > 0: |
34 bookmarks = db.get_bookmarks(map(lambda x: x[0], bookmarks)) |
34 bookmarks = db.get_bookmarks(map(lambda x: x[0], bookmarks)) |
35 bookmarks = map(lambda bk: bk.dict(), bookmarks) |
35 bookmarks = map(lambda bk: bk.dict(), bookmarks) |
36 process_index(bookmarks, keywords) |
36 process_index(bookmarks, keywords, db.get_preferences()) |