Save editor state on app unload

[Zverik]

When app is unloaded in the background and then restored, unsaved editor changes should be also restored. It's called Restoration in Flutter.

Can be done in other ways though: e.g. by saving data to the database.