Ändern der Zeichenflächengröße der Ebenen

Im Dialog Ansicht->Einstellungen... kann neben Zoom, Ebenenwinkel und Ebenenabstand auch die Größe der Zeichenfläche der Ebenen geändert werden. Ein Wert des betreffenden Faktors >1.0 bewirkt nicht ein einfaches Vergrößern der Ansicht, sondern fügt der Zeichenfläche "echte" Pixel hinzu.