rust/comprehensive-rust
1
0
Fork 0
mirror of https://github.com/google/comprehensive-rust.git synced 2025-06-24 17:56:45 +02:00
Code Issues Releases Activity

Bump dprint plugins to their latest versions (#2402)

Browse Source
This commit is contained in:
Martin Geisler
2025-02-28 15:27:17 +01:00
committed by GitHub
parent f94a0398f0
commit 0134568034
9 changed files with 34 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
theme/instructor-menu.js
View File

@ -13,12 +13,12 @@
instructorMenuList.insertBefore(redBoxItem, instructorMenuList.lastChild);
instructorMenuList.insertBefore(
playgroundStateItem,
instructorMenuList.lastChild
instructorMenuList.lastChild,
);
redBoxItem.insertBefore(redBoxButton, redBoxItem.lastChild);
playgroundStateItem.insertBefore(
playgroundStateButton,
playgroundStateItem.lastChild
playgroundStateItem.lastChild,
);
instructorMenu.title = "Utilities for course instructors";
@ -66,6 +66,6 @@
var playgroundStateButton = document.getElementById("playground-state");
redBoxButton.addEventListener("click", () => window.redboxButtonClicked());
playgroundStateButton.addEventListener("click", () =>
window.resetPlaygroundsClicked()
window.resetPlaygroundsClicked(),
);
})();