Function updateEditorLineNumbersFromSettings

src/lib/editorManager.js:1933–1935

()

	}

	function updateEditorLineNumbersFromSettings() {
		applyOptions(["linenumbers", "relativeLineNumbers"]);
	}

	function recreateActiveEditorState() {
		const file = manager.activeFile;