Merge pull request #202663 from microsoft/aiday/fixingColorizationStickyScroll

Fixing incorrect colorization of tokens in sticky scroll
This commit is contained in:
Aiday Marlen Kyzy
2024-01-18 09:14:05 +01:00
committed by GitHub
@@ -127,7 +127,9 @@ export class StickyScrollWidget extends Disposable implements IOverlayWidget {
}
setState(_state: StickyScrollWidgetState | undefined, foldingModel: FoldingModel | null, _rebuildFromLine?: number): void {
if ((!this._previousState && !_state) || (this._previousState && this._previousState.equals(_state))) {
if (_rebuildFromLine === undefined &&
((!this._previousState && !_state) || (this._previousState && this._previousState.equals(_state)))
) {
return;
}
const isWidgetHeightZero = this._isWidgetHeightZero(_state);