language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-11-27 14:24:55 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Docs: fix the no-preview tag

Browse source 
That tag is added in a bunch of places, but was not working (the preview
was still shown)
This commit is contained in:
Olivier Goffart 2022-11-28 10:11:34 +01:00 • committed by Olivier Goffart
parent 6a879669d7
commit fea2f8df37
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/resources/slint-docs-preview.html
View file

@ -34,7 +34,7 @@
async function run() { async function run() {
await slint.default(); await slint.default();
let selector = ["code.language-slint", ".rustdoc pre.language-slint", "div.highlight-slint"] let selector = ["code.language-slint", ".rustdoc pre.language-slint", "div.highlight-slint"]
.map((sel) => `${sel}:not([class*=slint\\,ignore]):not([class*=slint\\,no_run])`).join(","); .map((sel) => `${sel}:not([class*=slint\\,ignore]):not([class*=slint\\,no-preview])`).join(",");
var elements = document.querySelectorAll(selector); var elements = document.querySelectorAll(selector);
for (var i = 0; i < elements.length; ++i) { for (var i = 0; i < elements.length; ++i) {
let source = elements[i].innerText; let source = elements[i].innerText;