<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Apr 1, 2014 at 2:37 PM, Sven Brauch <span dir="ltr"><<a href="mailto:svenbrauch@googlemail.com" target="_blank">svenbrauch@googlemail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tuesday 01 April 2014 14:28:41 Aleix Pol wrote:<br>
> What about "hide"?<br>
That sounds like it would hide the tooltip to me.<br>
<br>
Maybe the whole concept of closing a set isn't good: Maybe we should have a<br>
"New working set" button instead (which would effectively just close the<br>
current set)?<br>
<br>
Greetings!<br></blockquote><div><br></div><div>"Hide Working Set"?</div><div><br></div><div>I agree that all in all, it probably should be re-thought. Personally, I don't use the working set feature at all so I'm not the best person to take a decision there.</div>

</div><br></div><div class="gmail_extra">Aleix</div></div>