Function syncOpenFileList

src/lib/editorManager.js:2242–2247

()

	}

	function syncOpenFileList() {
		const $list = manager.openFileList;
		manager.files.forEach((file) => {
			$list.append(file.tab);
		});
	}

	function moveFileByPinnedState(file) {
		if (!manager.files.includes(file)) return;