Merge pull request #2710 from ehuss/fix-mode-rust

Fix loading of mode-rust.js
This commit is contained in:
Eric Huss 2025-05-23 14:42:05 +00:00 committed by GitHub
commit 179bd8dcd5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 4 deletions

View file

@ -297,8 +297,8 @@
{{#if playground_js}}
<script src="{{ resource "ace.js" }}"></script>
<script src="{{ resource "editor.js" }}"></script>
<script src="{{ resource "mode-rust.js" }}"></script>
<script src="{{ resource "editor.js" }}"></script>
<script src="{{ resource "theme-dawn.js" }}"></script>
<script src="{{ resource "theme-tomorrow_night.js" }}"></script>
{{/if}}

View file

@ -1,8 +1,5 @@
// This tests pressing the left and right arrows moving to previous and next page.
// We disable the requests checks because `mode-rust.js` is not found.
fail-on-request-error: false
go-to: |DOC_PATH| + "index.html"
// default page is the first numbered page