function addFile(file) {
		if (manager.files.includes(file)) return;
		manager.files.push(file);
		manager.openFileList.append(file.tab);
		$header.text = file.name;
	}
Adds a file to the manager's file list and updates the UI.
@param {File} file - The file to be added.