From eb17cb94ddbb9c80f683d0d9f711c003222baa16 Mon Sep 17 00:00:00 2001 From: Lukas Lueg Date: Sat, 19 Apr 2025 22:58:29 +0200 Subject: [PATCH] Relabel grammarRailroad-Button --- src/notation.md | 6 +++--- theme/reference.css | 2 +- theme/reference.js | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/notation.md b/src/notation.md index f9428efab..de262423c 100644 --- a/src/notation.md +++ b/src/notation.md @@ -40,11 +40,11 @@ When such a string in `monospace` font occurs inside the grammar, it is an implicit reference to a single member of such a string table production. See [tokens] for more information. -## Railroad visualizations +## Grammar visualizations -Below each grammar block is a button to toggle the display of a [railroad diagram]. A square element is a non-terminal rule, and a rounded rectangle is a terminal. +Below each grammar block is a button to toggle the display of a [syntax diagram]. A square element is a non-terminal rule, and a rounded rectangle is a terminal. -[railroad diagram]: https://en.wikipedia.org/wiki/Syntax_diagram +[syntax diagram]: https://en.wikipedia.org/wiki/Syntax_diagram ## Common productions diff --git a/theme/reference.css b/theme/reference.css index bb6d35bdb..31fb6473d 100644 --- a/theme/reference.css +++ b/theme/reference.css @@ -627,7 +627,7 @@ main > .rule { /* The toggle button. */ .grammar-toggle-railroad { - width: 120px; + width: 160px; padding: 5px 0px; border-radius: 5px; cursor: pointer; diff --git a/theme/reference.js b/theme/reference.js index 5fe3a98bf..599b66229 100644 --- 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"; } }); }