<div class="gmail_quote">On Sun, Sep 26, 2010 at 7:11 PM, Niko Sams <span dir="ltr"><<a href="mailto:niko.sams@gmail.com">niko.sams@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I'm currently not running master and haven't seen this new feature in action.<br>
But still I'd like to add a comment...<br>
<br>
If the workingset-widget file switcher works the same way as the old<br>
Ctrl+Tab switcher<br>
I would prefer the workingset widget.<br>
The look could be made a bit slimmer tough.<br>
<br>
If the user has just one workingset, the switcher could do it's job,<br>
just as the old one did.<br>
<br>
but maybe you are talking about different issues here :D<br>
<font color="#888888"><br>
Niko<br>
</font><div><div></div><div class="h5"><br>
--<br>
KDevelop-devel mailing list<br>
<a href="mailto:KDevelop-devel@kdevelop.org">KDevelop-devel@kdevelop.org</a><br>
<a href="https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel" target="_blank">https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel</a><br>
</div></div></blockquote></div><br><div>Well I didn't answer before because I didn't see that problem until it was discussed on IRC.</div><div><br></div><div>I understand the complain. It's a big UI addition where we didn't have it before and it can be annoying.</div>
<div>Maybe we could minimize such impact by making the pushbuttons flat and adding a scroll in case there's more than, let's say, 5 elements on the list). </div><div>Also the other problem is that this UI is redundant with the tab bar. maybe we could just show that one when we don't have a tab bar?</div>
<div><br></div><div>Aleix</div>