#WordPressPlugin: Recovers the old scroll position in your Editor after saving. Either HTML or visual editor.