Document Switcher Toolbutton and Working-Set Toolbutton

[David Nolden]

I just noticed this new document list button. The basic idea is not bad,
but it's so limited that I don't really find it useful, and it duplicates
working-set functionality.

I've just pushed some changes to the working-set toolbutton which basically
make it behave nearly like this document-list for the active working-set,
except that:
- It shows the relative path within the project, instead of the filename
- It highlights the currently active document
- It also allows _closing_ files, which is very useful especially in that
location, because when the tab-bar clutters up too much, this can be used
to clean it up

Therefore I propose to re-activate the code which puts a working-set
toolbutton left to the tab-bar instead of this switcher. The code is still
there, it just needs a single additional function-call. It would reduce
code duplication, and make the widget much more useful.

Greetings, David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20130423/285c34fc/attachment.html>