Skip to content

Commit

Permalink
Don't dispose diff zone widgets when hiding them. (#197528)
Browse files Browse the repository at this point in the history
  • Loading branch information
jrieken authored Nov 6, 2023
1 parent b2df0c4 commit 2b35e1e
Showing 1 changed file with 0 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -421,7 +421,6 @@ export class LivePreviewStrategy extends LiveStrategy {
if (!diff || diff.changes.length === 0) {
for (const zone of this._diffZonePool) {
zone.hide();
zone.dispose();
}
return;
}
Expand Down

0 comments on commit 2b35e1e

Please sign in to comment.