parsav  live.js at [78b0198f09]

File static/live.js artifact 682908b4c8 part of check-in 78b0198f09


/* 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() {
	/* social media is less fun when you can't just click on a tweet
	 * to insta-like or -retweet it. this is unfortunately not possible
	 * (except in various hideously shitty ways) without javascript. */
	function mk(elt) { return document.createElement(elt); }
	function attachButtons() {
		document.querySelectorAll('body:not(.post) main div.post').forEach(function(post){
			let url = post.querySelector('.permalink').attributes.getNamedItem('href').value;
			function postReq(act,elt) {
				fetch(new Request(url, {
					method: 'POST',
					body: 'act='+act
				})).then(function(resp) {
					if (resp.ok && resp.status == 200) {
						var i = parseInt(elt.innerHTML)
						if (isNaN(i)) {i=0}
						elt.innerHTML = (i+1).toString()
					}
				})
			}

			var stats = post.querySelector('.stats');
			if (stats == null) {
				/* no stats box; create one */
				var n = mk('div');
				n.classList.add('stats');
				post.appendChild(n);
				stats = n
			}
			function ensureElt(cls, before) {
				let s = stats.querySelector('.' + cls);
				if (s == null) {
					var n = mk('div');
					n.classList.add(cls);
					if (before == null) { stats.appendChild(n) } else {
						stats.insertBefore(n,stats.querySelector(before))
					}
					return n
				} else { return s }
			}
			var like = ensureElt('like', null);
			var rt   = ensureElt('rt','.like');
			function activate(elt,name) {
				elt.addEventListener('click', function(e) { postReq(name,elt) });
				elt.style.setProperty('cursor','pointer');
			}
			activate(like,'like');
			activate(rt,'rt');
		});
	}

	/* 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) { // != also handles some deletions
					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;
					attachButtons();
				})
			})
		}, interv)
	});

	attachButtons();
});