Make text in tabs smaller

[Jean]

Thanks for 9.0.
As we can ask for new features i'd like to repeat the request of a font size setting for the text on the tabs so i can set it smaller. I like to have a lot of tabs open (25+) and the tabs tend to become unidentifiable because the texts are cut off. This won't happen if i can set the text size for them.
Thanks.