<div dir="auto"><div>Good idea! +1000 </div><div dir="auto"><br></div><div dir="auto">Sandro <br><div class="gmail_extra" dir="auto"><br><div class="gmail_quote">On 23 Apr 2017 10:49, "Michael Van Canneyt via Lazarus" <<a href="mailto:lazarus@lists.lazarus-ide.org">lazarus@lists.lazarus-ide.org</a>> wrote:<blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="elided-text">
<br></div>
You can achieve the same with a status icon on the tabs.<br>
<br>
*If* something needs to be removed, I would remove the listbox. It only takes up a lot of space, and it's mostly empty.<br>
<br>
Michael.</blockquote></div><br></div></div></div>