Danke, ich hatte es selber gefunden, und auch wieder gelöscht.
Das geht aber auch schon jetzt beim 56.01
Ist zwar auch nett, aber die variable Breite, die ich vorher hatte, stellt sich leider nicht mehr ein.
Sind nur 10 Tabs offen, sind sie breiter, sind 25 Tabs offen, werden sie so schmal, wie die Breite eingegeben wurde.