Function showNonZipPanel

public/js/fileListView.js:4759–4763

()

}

function showNonZipPanel() {
  const panel = ensureNonZipDownloadPanel();
  updateNonZipPanelText();
  panel.style.display = 'block';
}

function hideNonZipPanel() {
  const panel = ensureNonZipDownloadPanel();