filter out duplicate search results

[liblit]

My ~/.ssh/config mentions several hosts by name. Each of these generally appears in ~/.ssh/known_hosts as well. The extension finds both mentions, includes both in its search results, and therefore the same host appears twice when I search in GNOME Shell. That is not very useful, since selecting either will do exactly the same thing.

Perhaps GNOME Shell should be removing duplicates? It isn’t, and I don’t know if it ever promised that it would. Barring a change there, this extension should filter out duplicates itself. Presumably this would happen somewhere near the end of _getResultSet, by modifying the results array just before calling setResults.