再起動しても開発者オプションのアニメーションの設定がリセットされなくなった
ドコモ版です