1
0
mirror of https://github.com/google/comprehensive-rust.git synced 2025-01-24 06:16:27 +02:00

Temporarily disable saving playground state (#1935)

When browing around on https://google.github.io/comprehensive-rust/, I
sooner or later end up in a state where the local storage has `[]`
stored for a page with one or more playgrounds. The effect of this is
that the code is removed from the page!

I am not sure why this happens, but I’m afraid the code here needs more
testing. I’m teaching a class Monday morning, so I’ll disable the code
from #1917 for now.
This commit is contained in:
Martin Geisler 2024-03-24 23:25:00 +01:00 committed by GitHub
parent 44ba3ec461
commit d5b92dbb5f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -48,9 +48,6 @@ urlcolor = "red"
curly-quotes = true
additional-js = [
"theme/speaker-notes.js",
"theme/redbox.js",
"theme/save-playgrounds.js",
"theme/instructor-menu.js",
]
additional-css = [
"theme/css/svgbob.css",