Function recreateActiveEditorState

src/lib/editorManager.js:1937–1945

()

	}

	function recreateActiveEditorState() {
		const file = manager.activeFile;
		if (file?.type !== "editor") return;

		file.session = editor.state;
		file.lastScrollTop = editor.scrollDOM?.scrollTop ?? 0;
		file.lastScrollLeft = editor.scrollDOM?.scrollLeft ?? 0;
		applyFileToEditor(file, { forceRecreate: true });
	}

	appSettings.on("update:tabSize", function () {
		updateEditorIndentationSettings();