Kreis statt Kuller im Geometrieeditor

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.