Hallo,
vorweg, das pre-release der 23.1.20241111 macht Spaß und kommt bei uns wirklich gut an!
Die Kollegen fragen ob die Tabs nicht etwas breiter sein können weil diese oft versehentlich beim wechseln geschlossen werden.
Ich wollte das einfach so in den Raum werfen, mich stört das nicht 
