Die Breite ist fest für „100 %" reserviert, damit nichts springt, wenn der
Wert eine Stelle mehr bekommt. Das Leerzeichen kostet in dieser Reservierung
drei Punkte je Element — in der Menüleiste ist Platz das knappste Gut.
Nur dort. Im Panel und in den Popovern bleibt das Leerzeichen stehen; da ist
Platz, und typografisch gehört es hin.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
57093cb63b