2023-06-18 20:47:07 +03:00
|
|
|
import { computePosition, flip, inline, shift } from "@floating-ui/dom"
|
2023-06-18 02:05:46 +03:00
|
|
|
|
|
|
|
document.addEventListener("nav", () => {
|
|
|
|
const links = [...document.getElementsByClassName("internal")] as HTMLLinkElement[]
|
|
|
|
const p = new DOMParser()
|
|
|
|
for (const link of links) {
|
|
|
|
link.addEventListener("mouseenter", async ({ clientX, clientY }) => {
|
2023-06-18 20:47:07 +03:00
|
|
|
async function setPosition(popoverElement: HTMLElement) {
|
|
|
|
const { x, y } = await computePosition(link, popoverElement, {
|
2023-06-20 08:50:25 +03:00
|
|
|
middleware: [
|
|
|
|
inline({ x: clientX, y: clientY }),
|
|
|
|
shift(),
|
|
|
|
flip()
|
|
|
|
]
|
2023-06-18 20:47:07 +03:00
|
|
|
})
|
|
|
|
Object.assign(popoverElement.style, {
|
|
|
|
left: `${x}px`,
|
|
|
|
top: `${y}px`,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
if (link.dataset.fetchedPopover === "true") {
|
|
|
|
return setPosition(link.lastChild as HTMLElement)
|
|
|
|
}
|
|
|
|
|
2023-06-20 08:50:25 +03:00
|
|
|
const thisUrl = new URL(document.location.href)
|
|
|
|
thisUrl.hash = ""
|
|
|
|
thisUrl.search = ""
|
|
|
|
const targetUrl = new URL(link.href)
|
|
|
|
const hash = targetUrl.hash
|
|
|
|
targetUrl.hash = ""
|
|
|
|
targetUrl.search = ""
|
|
|
|
// prevent hover of the same page
|
|
|
|
if (thisUrl.toString() === targetUrl.toString()) return
|
2023-06-18 20:47:07 +03:00
|
|
|
|
2023-06-20 08:50:25 +03:00
|
|
|
const contents = await fetch(`${targetUrl}`)
|
2023-06-18 02:05:46 +03:00
|
|
|
.then((res) => res.text())
|
|
|
|
.catch((err) => {
|
|
|
|
console.error(err)
|
|
|
|
})
|
2023-06-18 20:47:07 +03:00
|
|
|
|
2023-06-18 02:05:46 +03:00
|
|
|
if (!contents) return
|
|
|
|
const html = p.parseFromString(contents, "text/html")
|
|
|
|
const elts = [...html.getElementsByClassName("popover-hint")]
|
|
|
|
if (elts.length === 0) return
|
|
|
|
|
|
|
|
const popoverElement = document.createElement("div")
|
|
|
|
popoverElement.classList.add("popover")
|
2023-06-18 20:47:07 +03:00
|
|
|
const popoverInner = document.createElement("div")
|
|
|
|
popoverInner.classList.add("popover-inner")
|
|
|
|
popoverElement.appendChild(popoverInner)
|
|
|
|
elts.forEach(elt => popoverInner.appendChild(elt))
|
2023-06-18 02:05:46 +03:00
|
|
|
|
2023-06-18 20:47:07 +03:00
|
|
|
setPosition(popoverElement)
|
2023-06-18 02:05:46 +03:00
|
|
|
link.appendChild(popoverElement)
|
|
|
|
link.dataset.fetchedPopover = "true"
|
2023-06-20 08:50:25 +03:00
|
|
|
|
|
|
|
const heading = popoverInner.querySelector(hash) as HTMLElement | null
|
|
|
|
if (heading) {
|
|
|
|
// leave ~12px of buffer when scrolling to a heading
|
|
|
|
popoverInner.scroll({ top: heading.offsetTop - 12, behavior: 'instant' })
|
|
|
|
}
|
2023-06-18 02:05:46 +03:00
|
|
|
})
|
|
|
|
}
|
|
|
|
})
|