After streaming generation is over, show a regular, batch diff in the file altered (#16350)

Release Notes:

- N/A
This commit is contained in:
Kirill Bulatov 2024-08-16 15:31:02 +03:00 committed by GitHub
parent f7f5a25584
commit 0fe22f2a48
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 131 additions and 25 deletions

View file

@ -68,6 +68,7 @@ serde.workspace = true
serde_json.workspace = true
settings.workspace = true
smallvec.workspace = true
similar.workspace = true
smol.workspace = true
telemetry_events.workspace = true
terminal.workspace = true