> Is there a way to filter the duplicates out? Not easily. I suppose a modified merge_completers() could extract all the completions, sort and uniquify them, then return the survivors to pre-sorted order. I'm not particularly motivated to do so, for several reasons.
Firstly, I no longer personally care for having both bookmark and history completion. I have only webjump and history completion enabled and I access bookmarks (with completion) via the "bookmark" webjump. Secondly, it's possible to have duplicates in any case, simply by having multiple bookmarks of the same page. That tends to happen for me, mostly because I don't cull the bookmarks (as there's currently no convenient way to do so). Having many bookmarks isn't really an issue, because the completion mechanism is superb. Thirdly, this is in any case just a workaround for a mozilla bug; maybe it will be fixed one day. But probably not; I can't access the bug server now, but I seem to recall the bug has been known for many years. https://bugzilla.mozilla.org/show_bug.cgi?id=425726 In any case, I think the present patch is an incremental improvement that's worth having for now. regards, David _______________________________________________ Conkeror mailing list [email protected] https://www.mozdev.org/mailman/listinfo/conkeror
