Open
Description
@ffissore This is a follow up of the issue #2765 AKA "How do you know which tab you're editing?" that was resolved with 2339049, thank you again.
Working with the IDE is now (in my case) day and night. But there is a last one improvement I wish to see in the IDE: a scrolling bar in the tab menu. I think the top and bottom arrow in the tab menu should be replaced by a scroll bar. Not only it's more intuitive, it is _WAY SPEEDIER_.
Also, the tab bar should have a left and right arrow to effectively scroll the tabs (like asked in #1193, it was in 2012).
Is this feasible?