1991
1992
if (oldDecorationIndex < oldDecorationsLen) {
1994
>
let decorationId: string;
1995
>
do {
1996
>
decorationId = oldDecorationsIds[oldDecorationIndex++];
1997
>
node = this._decorations[decorationId];
1998
>
} while (!node && oldDecorationIndex < oldDecorationsLen);
1999
>
2000
>
// (2) remove the node from the tree (if it exists)
2001
>
if (node) {
2002
>
if (node.options.after) {
2003
const nodeRange = this._decorationsTree.getNodeRange(this, node);
2004
this._onDidChangeDecorations.recordLineAffectedByInjectedText(nodeRange.endLineNumber);
2005
}
2007
const nodeRange = this._decorationsTree.getNodeRange(this, node);
2008
this._onDidChangeDecorations.recordLineAffectedByInjectedText(nodeRange.startLineNumber);
2009
}
2011
const nodeRange = this._decorationsTree.getNodeRange(this, node);
2012
this._onDidChangeDecorations.recordLineAffectedByLineHeightChange(ownerId, decorationId, nodeRange.startLineNumber, null);
2013
}
2015
const nodeRange = this._decorationsTree.getNodeRange(this, node);
2016
this._onDidChangeDecorations.recordLineAffectedByFontChange(ownerId, decorationId, nodeRange.startLineNumber);
2017
}
2019
>
2020
>
if (!suppressEvents) {
2021
>
this._onDidChangeDecorations.checkAffectedAndFire(node.options);
2022
>
}
2023
>
}
2024
>
}
2025
2026
if (newDecorationIndex < newDecorationsLen) {