Improvement regarding tabs overflow

[Alexander Shaduri]

Hello,

I actually filed a bug a long time ago about the unusability of 
tabs in KDevelop 4:
https://bugs.kde.org/show_bug.cgi?id=203972
(no mailing list discussion followed it).

There are various ways to improve the situation, but unfortunately
KDevelop 4 still behaves very badly in this regard and I have yet to
find a suitable quick random-access replacement for 4-5 open tabs.

So far I've been commenting out the "Line / Col" thing in every
kdevplatform I download, as it improves the situation just a bit
(IMHO that widget should never have been there anyway).

Cheers,
Alexander