remove obsolete logo js

Florian3k · Florian3k · commit 9eb4926e84b7 · 2022-09-22T11:58:08.000+02:00
diff --git a/scaladoc/resources/dotty_res/scripts/ux.js b/scaladoc/resources/dotty_res/scripts/ux.js
@@ -128,13 +128,6 @@ function attachAllListeners() {
     }
   }
 
-  var logo = document.getElementById("logo");
-  if (logo) {
-    logo.onclick = function () {
-      window.location = pathToRoot; // global variable pathToRoot is created by the html renderer
-    };
-  }
-
   hljs.registerLanguage("scala", highlightDotty);
   hljs.registerAliases(["dotty", "scala3"], "scala");
   hljs.initHighlighting();

Original file line number	Diff line number	Diff line change
`@@ -128,13 +128,6 @@ function attachAllListeners() {`
`128`	`128`	`}`
`129`	`129`	`}`
`130`	`130`
`131`		`- var logo = document.getElementById("logo");`
`132`		`- if (logo) {`
`133`		`- logo.onclick = function () {`
`134`		`- window.location = pathToRoot; // global variable pathToRoot is created by the html renderer`
`135`		`- };`
`136`		`- }`
`137`		`-`
`138`	`131`	`hljs.registerLanguage("scala", highlightDotty);`
`139`	`132`	`hljs.registerAliases(["dotty", "scala3"], "scala");`
`140`	`133`	`hljs.initHighlighting();`