Skip to content

feat: add rust playground ide online link button#4763

Open
ryzen-xp wants to merge 1 commit into
rust-lang:mainfrom
ryzen-xp:feat/add-rust-playground-ide-button
Open

feat: add rust playground ide online link button#4763
ryzen-xp wants to merge 1 commit into
rust-lang:mainfrom
ryzen-xp:feat/add-rust-playground-ide-button

Conversation

@ryzen-xp

@ryzen-xp ryzen-xp commented Jun 6, 2026

Copy link
Copy Markdown

Add Rust Playground IDE onlilne button to navbar

Injects an IDE button into the right-hand navbar alongside the
existing GitHub and print buttons. Clicking it opens
play.rust-lang.org in a new tab. The logic is merged into
ferris.js to avoid a separate additional-js entry.

Screencast.From.2026-06-06.19-58-45.mp4

Here is the Button Look like

Screenshot From 2026-06-06 19-58-19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Integrate Online Rust IDE with Rust Book

1 participant