New Editor version v2.252

I reported a similar problem of disappearing places here on Sept. 24 before V2.252 release.