export const $ = (id) => document.getElementById(id);

/**
 * Anciennes pages sans #imgPan : on enveloppe #pageImg pour zoom/pan.
 * Sans #mainLayout / #splitResizer : on rattache les ids pour la grille.
 */
export function ensureEditorDom() {
  const main = document.querySelector("main.layout");
  if (main && !main.id) {
    main.id = "mainLayout";
  }
}

export function escapeHtml(s) {
  const d = document.createElement("div");
  d.textContent = s;
  return d.innerHTML;
}
