<div dir="auto">I think it rather indicates that the object is being monitored for changes. You can also invoke that via a like-sounding command in the context menu.</div><br><div class="gmail_quote"><div dir="ltr">Stéphane Rollandin <<a href="mailto:lecteur@zogotounga.net">lecteur@zogotounga.net</a>> schrieb am Mi., 17. Okt. 2018, 21:31:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello all,<br>
<br>
In an object explorer, when one clicks twice on a list item it gets <br>
displayed in red. This is supposed to indicate that the item is <br>
selected, but actually selecting another item does not update the <br>
previous one, which stays highlighted. This seems like a bug.<br>
<br>
Also, is that notion of selected item used by the object explorer at <br>
all? If not, we may get rid of the color cue altogether.<br>
<br>
Stef<br>
<br>
<br>
</blockquote></div>