/* first things first, we need to scan over the document and see
* if there are any UI elements unfortunate enough to need
* interactivity beyond what native HTML+CSS can provide. if so,
* we attach the appropriate listeners to them. */
window.addEventListener('load', function() {
/* update hue-picker background when slider is adjusted */
document.querySelectorAll('.color-picker').forEach(function(box) {
let slider = box.querySelector('[data-color-pick]');
box.style.setProperty('--hue', slider.value);
slider.addEventListener('input', function(e) {
box.style.setProperty('--hue', e.target.value);
});
});
/* the main purpose of this script -- by marking itself with the
* data-live property, an html element registers itself for live
* updates from the server. this is pretty straightforward: we
* retrieve this url from the server as a get request, create a
* tree from its html, find the element in question, ferret out
* any deltas, and apply them. */
document.querySelectorAll('*[data-live]').forEach(function(container) {
let interv = parseFloat(container.attributes.getNamedItem('data-live').nodeValue) * 1000;
container._liveLastArrival = 0; /* TODO include initial value in document */
window.setInterval(function() {
var req = new Request(window.location, {
method: 'GET',
headers: {
'X-Live-Last-Arrival': container._liveLastArrival
}
})
fetch(req).then(function(resp) {
if (!resp.ok) return;
let newest = parseInt(resp.headers.get('X-Live-Newest-Artifact'));
if (newest <= container._liveLastArrival) {
resp.body.cancel();
return;
}
container._liveLastArrival = newest
resp.text().then(function(htmlbody) {
var parser = new DOMParser();
var newdoc = parser.parseFromString(htmlbody,'text/html')
container.innerHTML = newdoc.getElementById(container.id).innerHTML
})
})
}, interv)
});
});