Function updateFileList

src/handlers/editorFileTab.js:434–467

* Update the position of the file list * @param {HTMLElement} $parent

($parent)

 * @param {HTMLElement} $parent
 */
function updateFileList($parent) {
	const pinnedCount = editorManager.files.filter((file) => file.pinned).length;
	const children = [...$parent.children];
	const newFileList = [];
	for (let el of children) {
		for (let file of editorManager.files) {
			if (file.tab === el) {
				newFileList.push(file);
				break;
			}
		}
	}

	editorManager.files = newFileList;

	const draggedFile = newFileList.find((file) => file.tab === $tab);
	if (draggedFile) {
		const draggedIndex = newFileList.indexOf(draggedFile);
		let nextPinnedState;

		if (!draggedFile.pinned && draggedIndex < pinnedCount) {
			nextPinnedState = true;
		} else if (draggedFile.pinned && draggedIndex >= pinnedCount) {
			nextPinnedState = false;
		}

		if (nextPinnedState !== undefined) {
			draggedFile.setPinnedState(nextPinnedState, { reorder: false });
			if (typeof editorManager.normalizePinnedTabOrder === "function") {
				editorManager.normalizePinnedTabOrder(editorManager.files);
			}
		}
	}
}

/**
 * Checks if the tab is going to scroll and returns the scroll value