Hi,

first of all: thanks for this great piece of software. I think that it has speed up my development 3 times over php ide I used before.

Anyway, I am here to make my feature request:

Problem:
On top of the editor area, the opened files tab size is determined by the filename length. So, if I have many tabs opened, and tabs with long filenames I have 3 options to reach them:
1) using the workspace or explorer panes (too slow for modern php frameworks that have hundreds of folders-> development speeds down)
2) close windows I think I should not use in the next 10 minutes, but if I need it again I have to use again the workspace or explorer (like step1 development speeds down)
3) use the arrow at the end of the tab bar (development speeds down even if I use an hot keys for the window list)

Solution I suggest:
It would be very useful to have 2 options, just like the "browser.tabs.tabMaxWidth" and "browser.tabs.tabMinWidth" in "about:config" settings of firefox web browser to limit the tab size of opened files. Note that Mintabsize=0 means "no lower limit set": tab always shrink, and "window list arrow" would be not necessary.


Thanks in advance! and keep up the good work!
Regards,
Giovanni Lenzi.