diff options
| author | Georg Brandl <georg@python.org> | 2020-09-01 14:17:47 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2020-09-01 14:17:47 +0200 |
| commit | ceaad0372055ed0064121020fea032fdda429779 (patch) | |
| tree | 02f5a5831959c8a5039216bab8c8a21ea64169a1 /doc | |
| parent | 54b1d0e2022bf97f3cee61cbb251b73e94ed8bcf (diff) | |
| download | pygments-git-ceaad0372055ed0064121020fea032fdda429779.tar.gz | |
demo: rebuild WASM with every push
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/_static/demo.js | 3 | ||||
| -rw-r--r-- | doc/_templates/demo.html | 3 |
2 files changed, 1 insertions, 5 deletions
diff --git a/doc/_static/demo.js b/doc/_static/demo.js index 872c2348..f538492e 100644 --- a/doc/_static/demo.js +++ b/doc/_static/demo.js @@ -23,9 +23,6 @@ languagePluginLoader.then(() => { } } - var ver = pyodide.runPython('pygments.__version__'); - document.getElementById("try-version").innerText = "Pygments version: " + ver; - document.getElementById("hlbtn").disabled = false; document.getElementById("loading").style.display = "none"; }); diff --git a/doc/_templates/demo.html b/doc/_templates/demo.html index fc511014..6a60df7d 100644 --- a/doc/_templates/demo.html +++ b/doc/_templates/demo.html @@ -16,10 +16,9 @@ <h1>Demo - Try it out!</h1> <p>The highlighting here is performed in-browser using - a WebAssembly translation of Pygments, courtesy of + a WebAssembly translation of the latest Pygments master branch, courtesy of <a href="https://github.com/iodide-project/pyodide">Pyodide</a>.</p> <p>Your content is neither sent over the web nor stored anywhere.</p> -<p id="try-version"></p> <div id="try"> <h2>Enter code and select a language</h2> |
