Deprecate old timer-based editor mode switching.
Deprecate old timer-based editor mode switching.

parvmor/codeworld,pranjaltale16/codeworld,venkat24/codeworld,nomeata/codeworld,pranjaltale16/codeworld,three/codeworld,google/codeworld,nomeata/codeworld,alphalambda/codeworld,three/codeworld,venkat24/codeworld,three/codeworld,parvmor/codeworld,stefan-j/codeworld,tgdavies/codeworld,tgdavies/codeworld,google/codeworld,nomeata/codeworld,stefan-j/codeworld,alphalambda/codeworld,pranjaltale16/codeworld,parvmor/codeworld,google/codeworld,venkat24/codeworld,stefan-j/codeworld,tgdavies/codeworld,alphalambda/codeworld