Undo undoes for everyone

Aperta
  • Qualcosa non va?
#190 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
42/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Stack tecnologico
typescript

Direzione di ricerca

Start by reading the undo handling and shared editing entry points; the issue does not name files or tests, so locate them in the repository and check how concurrent edits are recorded. Reproduce the case with two users editing different parts of one file, then verify that pressing CTRL-Z undoes only the initiating user's latest change.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

If two users make an edit to different parts of a file and one of them hits CTRL-Z, then both users's most recent changes will be undone. Possibly related to #65.

Lingua principale
TypeScript
Stelle
11
Fork
1
Merge medio
1g 11h
PR unite (30g)
15

Preparare l'ambiente

  • Include un Dockerfile o un file Docker Compose
  • Nessun modello di pull request
  • Nessuna guida per i contributori

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 leanprover/lean-workbench

Tutte le issue di leanprover/lean-workbench

Issue simili

Altre issue su TypeScript

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.