language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-02 06:41:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Fix documentation preview and hightlighting of .60 code with nightly rustdoc

Browse source 
rustdoc changed the html generated. The code used to be in a `<code>`, now it is
in a `<pre>`
So this should wotk with both stable rust and nightly rust
This commit is contained in:
Olivier Goffart 2021-08-11 18:20:18 +02:00
parent e24ff2bff4
commit bdeb64c518
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/resources/sixtyfps-docs-highlight.html
View file

@ -56,7 +56,7 @@
const rustDoc = document.querySelector('meta[name="generator"]')?.content == "rustdoc"; const rustDoc = document.querySelector('meta[name="generator"]')?.content == "rustdoc";
if (rustDoc) { if (rustDoc) {
// Only highlight .60 blocks, leave the others to rustdoc // Only highlight .60 blocks, leave the others to rustdoc
for (dot60Block of document.querySelectorAll("pre code.language-60")) { for (dot60Block of document.querySelectorAll(".language-60")) {
hljs.highlightElement(dot60Block) hljs.highlightElement(dot60Block)
} }

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

@ -31,7 +31,7 @@
await sixtyfps.default(); await sixtyfps.default();
var elements = document.querySelectorAll("code.language-60, div.highlight-60 div"); var elements = document.querySelectorAll("code.language-60, pre.language-60, div.highlight-60 div");
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;
let div = document.createElement("div"); let div = document.createElement("div");