Re: About the renaming of documentation files

[Abdelrazak Younes]

Jean-Marc Lasgouttes wrote:

Then it is Qt's job to make the tabs smaller when there is not enough
room. If it does not do it well, we'll switch to another frontend.

with a snap of the fingers :-)

Sorry, I couldn't resist...

Abdel.