Kreis statt Kuller im Geometrieeditor: Unterschied zwischen den Versionen

Aktuelle Version vom 7. Oktober 2011, 10:48 Uhr

Im Geometrie-Editor werden die Eckpunkte bei einer Verschiebung ohne Füllung dargestellt, so dass man die darunterliegende Karte sehen kann. Außerdem werden neue Punkte, die man zwischen 2 Punkten anlegen kann, nicht mehr rot, sondern grün dargestellt.