Ongedaan maken op een document zet de tab altijd vuil en de cursor aan het eind #1672

New issue

Closed

opened 2026-08-21 12:02:08 +00:00 by brenno · 0 comments

brenno commented

2026-08-21 12:02:08 +00:00

Owner

Wat er misgaat

Drie samenhangende fouten in dezelfde undo-lus:

DocumentNotifier.undo/redo zetten altijd isDirty: true, ook als de bron weer gelijk is aan savedSource. De oranje stip en sluit-dialoog blijven.
visualEdited gaat niet mee terug. Opslaan na undo vanuit Visueel volgt nog _patchVisualSave.
De editor zet bij een externe bodywijziging de selectie op body.length — de cursor springt naar het einde.

Waar het zit

lib/state/document_provider.dart — undo/redo.
lib/widgets/document_editor_screen.dart — ref.listen op de body.
lib/widgets/shell/document_save_actions.dart — visualEdited.

Stappen

Opgeslagen document, één teken, ongedaan maken. Tab blijft vuil; cursor staat achteraan.

Wat het met het formaat doet

Niets tot je Opslaan klikt (dan een overbodige schrijfactie / visuele patch).

Regressie

isDirty afleiden uit vergelijking met savedSource; visualEdited op de stapel; selectie behouden of naar de wijziging. #1566 dekte moduswissel, niet undo.

## Wat er misgaat Drie samenhangende fouten in dezelfde undo-lus: 1. `DocumentNotifier.undo`/`redo` zetten altijd `isDirty: true`, ook als de bron weer gelijk is aan `savedSource`. De oranje stip en sluit-dialoog blijven. 2. `visualEdited` gaat niet mee terug. Opslaan na undo vanuit Visueel volgt nog `_patchVisualSave`. 3. De editor zet bij een externe bodywijziging de selectie op `body.length` — de cursor springt naar het einde. ## Waar het zit - `lib/state/document_provider.dart` — `undo`/`redo`. - `lib/widgets/document_editor_screen.dart` — `ref.listen` op de body. - `lib/widgets/shell/document_save_actions.dart` — `visualEdited`. ## Stappen Opgeslagen document, één teken, ongedaan maken. Tab blijft vuil; cursor staat achteraan. ## Wat het met het formaat doet Niets tot je Opslaan klikt (dan een overbodige schrijfactie / visuele patch). ## Regressie `isDirty` afleiden uit vergelijking met `savedSource`; `visualEdited` op de stapel; selectie behouden of naar de wijziging. #1566 dekte moduswissel, niet undo.

brenno added the

bug

label

2026-08-21 12:02:08 +00:00

brenno referenced this issue

2026-08-21 12:03:03 +00:00

Documentmodus: undo/redo verliest visualEdit-herkomst en opgeslagen toestand #1650

brenno referenced this issue

2026-08-22 01:26:26 +00:00

fix: bug-label batch — 15 issues aangepakt #1708

brenno referenced this issue from a commit

2026-08-22 01:40:03 +00:00