<div dir="ltr">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.<div><br></div><div>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:</div>
<div style>- It shows the relative path within the project, instead of the filename</div><div style>- It highlights the currently active document</div><div style>- 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</div>
<div style><br></div><div style>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.</div>
<div style><br></div><div style>Greetings, David</div></div>