Don't pushState, as we can't (easily) support popping state. Addresses compiler-explorer#1052

mattgodbolt · mattgodbolt · commit 245ae4d08e09 · 2018-08-17T12:11:38.000-05:00
diff --git a/static/main.js b/static/main.js
@@ -296,7 +296,7 @@ require("monaco-loader")().then(function () {
                 if (storedPaths[config]) {
                     window.history.replaceState(null, null, storedPaths[config]);
                 } else if (window.location.pathname !== window.httpRoot) {
-                    window.history.pushState(null, null, window.httpRoot);
+                    window.history.replaceState(null, null, window.httpRoot);
                 }
                 lastState = config;
             }

Original file line number	Diff line number	Diff line change
`@@ -296,7 +296,7 @@ require("monaco-loader")().then(function () {`
`296`	`296`	`if (storedPaths[config]) {`
`297`	`297`	`window.history.replaceState(null, null, storedPaths[config]);`
`298`	`298`	`} else if (window.location.pathname !== window.httpRoot) {`
`299`		`- window.history.pushState(null, null, window.httpRoot);`
	`299`	`+ window.history.replaceState(null, null, window.httpRoot);`
`300`	`300`	`}`
`301`	`301`	`lastState = config;`
`302`	`302`	`}`