Relabel grammarRailroad-Button

lukaslueg · lukaslueg · commit 5619c8562a85 · 2025-04-19T22:58:29.000+02:00
diff --git a/theme/reference.js b/theme/reference.js
@@ -66,9 +66,9 @@ function update_railroad() {
     const buttons = document.querySelectorAll('.grammar-toggle-railroad');
     buttons.forEach(button => {
         if (grammarRailroad) {
-            button.innerText = "Hide Railroad";
+            button.innerText = "Hide syntax diagram";
         } else {
-            button.innerText = "Show Railroad";
+            button.innerText = "Show syntax diagram";
         }
     });
 }

Original file line number	Diff line number	Diff line change
`@@ -66,9 +66,9 @@ function update_railroad() {`
`66`	`66`	`const buttons = document.querySelectorAll('.grammar-toggle-railroad');`
`67`	`67`	`buttons.forEach(button => {`
`68`	`68`	`if (grammarRailroad) {`
`69`		`- button.innerText = "Hide Railroad";`
	`69`	`+ button.innerText = "Hide syntax diagram";`
`70`	`70`	`} else {`
`71`		`- button.innerText = "Show Railroad";`
	`71`	`+ button.innerText = "Show syntax diagram";`
`72`	`72`	`}`
`73`	`73`	`});`
`74`	`74`	`}`