function updateCurrentFileDisplayHeader() {
  const headerDisplay = document.getElementById("current-file-display-header");
  if (!headerDisplay) return;
  if (currentFileIndex !== null && files[currentFileIndex]) {
    headerDisplay.textContent = files[currentFileIndex].name;
  } else {
    headerDisplay.textContent = "No file selected";
  }
}