ui/dom.js file

Functions

markdown_to_html (element, markdown_text)
Generate element.innerHTML from markdown_text
font_family_loaded (options)
Check if a particular font is present (and deviates from the fallback font)
get_uri (element)
Fetch URI from a DOM element, returns undefined if none is found (e.g. Number(0) is a valid URI).
valid_uri (uri)
Check if URI is not undefined.
has_uri (element)
Check if DOM element has valid URI.
text_content (element, with_children)
Get .textContent with or without children from a DOM element.
show_modal (dialog)
Show a dialog via showModal() and close it on backdrop clicks.