fix: refresh URL (sveltejs#319)

Author: tomoam

content/tutorial/common/src/__client.js

@@ -105,6 +105,15 @@ function ping() {
 	);
 }
 
+let pre_url = location.href;
+const url_observer = new MutationObserver(() => {
+	if (location.href !== pre_url) {
+		pre_url = location.href;
+		ping();
+	}
+});
+url_observer.observe(document, { subtree: true, childList: true, attributes: true });
+
 ping();
 
 if (import.meta.hot) {

src/routes/tutorial/[slug]/Output.svelte

@@ -41,6 +41,7 @@
 		if (paused) return;
 
 		if (e.data.type === 'ping') {
+			path = e.data.data.path ?? path;
 			loading = false;
 		} else if (e.data.type === 'warnings') {
 			warnings.update(($warnings) => ({