Hello all,

In an object explorer, when one clicks twice on a list item it gets 
displayed in red. This is supposed to indicate that the item is 
selected, but actually selecting another item does not update the 
previous one, which stays highlighted. This seems like a bug.

Also, is that notion of selected item used by the object explorer at 
all? If not, we may get rid of the color cue altogether.

Stef