reload on hashchange

johncf · johncf · commit f326a369815b · 2017-12-06T11:52:35.000+05:30
diff --git a/static/js/main.js b/static/js/main.js
@@ -169,3 +169,7 @@ window.onbeforeunload = function(e) {
   setSource(editor.getValue());
   socket.close();
 }
+
+window.onhashchange = function(e) {
+  window.location.reload();
+}

Original file line number	Diff line number	Diff line change
`@@ -169,3 +169,7 @@ window.onbeforeunload = function(e) {`
`169`	`169`	`setSource(editor.getValue());`
`170`	`170`	`socket.close();`
`171`	`171`	`}`
	`172`	`+`
	`173`	`+window.onhashchange = function(e) {`
	`174`	`+ window.location.reload();`
	`175`	`+}`