When we have lot of open tabs, their names are ugly: Gra…, Fra…, Fra…, Gra… And what of them are Graphics.h, which is Graphics.cpp, and where Frame_Android.cpp or Frame_Win32.cpp? Proposal to make minimal width for tab and arrows for left and right, like in, say, Firefox.
