Examples with hidden lines should be editable

Aperta
  • Qualcosa non va?
#2,811 5 commenti 0 reazioni 1 assegnatario Vedi su GitHub

I maintainer di solito rispondono entro 17 giorni

@LukeMathWalker ci sta già lavorando.

Dal 7/7/2025.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

deep_dives/idiomatic

Problem

For this issue, there are two types of code blocks:

  • Read-only ones, defined via ```rust
  • Editable ones, defined via ```rust,editable

Read-only code blocks support the usage of # to hide code from the view that's rendered in the browser:

Image

You can click on the "Eye" toggle to show the hidden lines:

Image

This makes it convenient to break an example across multiple code blocks without repeating content from the previous block (e.g., the definition of UserId in the example above).

Instructors often need to be able to edit code directly on the slide, but we lose the hiding feature if we mark the block as editable:

Image

The UserId definition is shown, even if it was prefixed with # in the source.

Solution

Modify the theme to introduce a new button, next to the "Copy" one, which allows instructors to switch from "Preview" to "Edit" mode.
In "Preview" mode, code is rendered as if the editable attribute had not been included.
In "Edit" mode, all hidden code is shown and the instructor is free to edit.

We won't support going back from "Edit" to "Preview" mode.

Lingua principale
Rust
Stelle
33.5k
Fork
2.1k
Merge medio
16g 20h
PR unite (30g)
1

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di google/comprehensive-rust

Tutte le issue di google/comprehensive-rust

Issue simili

Altre issue su Rust

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.