fix: don't show popovers on heading anchors

Jacky Zhao

2023-12-03 9c88d5967fee49d9e69b0e5dd22ca3bc44f9a12e

1
2
3
4
5
6
7
8
export const escapeHTML = (unsafe: string) => {
  return unsafe
    .replaceAll("&", "&")
    .replaceAll("<", "&lt;")
    .replaceAll(">", "&gt;")
    .replaceAll('"', "&quot;")
    .replaceAll("'", "&#039;")
}