Moin marabu,
alle Tabs sollen etwas breiter werden.
Edit: TabWidth kann ich aber nicht nehmen, da die Größe jedes Tabreiters unterschiedlich ist. Siehe:
hier,
ich möchte jeden Tab ein paar Pixel breiter machen um noch den Button daneben platzieren zu können.
