Refactoring: Use a set (or list) of objects for the highlight

[kraenhansen]

If a user has selected an object and the list of objects chances (because of an unrelated change that got downloaded) another object will effectively be selected.