function updateCurrentFileDisplayPanel() {
  const panelDisplay = document.getElementById("current-file-display");
  if (!panelDisplay) return;
  if (currentFileIndex !== null && files[currentFileIndex]) {
    panelDisplay.textContent = "Current File: " + files[currentFileIndex].name;
  } else {
    panelDisplay.textContent = "Current File: None";
  }
}