Mhh, das weiss ich auch nicht so genau. Als ich dieses problem zum ersten mal hatte hab ich auch deinstalliert. dann war er weg, der bug. vielleicht hast du auch nur das unbeschreibliche pech gehabt, dass der bug beim ersten start des editors direkt wieder aufgetreten ist:P
Da scheint so ne art zufallsgenerator in den editor eingebaut zu sein, der dann und wann nen bug kreiert
. Die entwickler haben halt an die community gedacht ( neue user, neue posts, connecting people
)
Na ja....