Batch info@rizomi.it 29/12/2022 Ab Version 10 lässt sich die Tab-Leiste verbreitern oder aufklappen, wodurch die Tabs breiter werden und im erscheinenden Leerraum eine
