<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Indeed, it's not a big gain.<br>
How about removing the folding button and adding a config option to<br>
make the toolbars appear only when the pointer is hovering the<br>
playlist or collection?<br>
</blockquote><div><br>Oh please no, not the "widgets magically appearing and disappearing every time I move the mouse" syndrome! :-P<br><br>- Nikolaj <br></div></div>