Function ariaLabel

docs/app/js/sanddance-app.js:141662–141664

(el, desc)

    }
} // update aria-label if we have a DOM container element
function ariaLabel(el, desc) {
    if (el) desc == null ? el.removeAttribute("aria-label") : el.setAttribute("aria-label", desc);
}
function background(view) {
    // respond to background signal
    view.add(null, (_)=>{