()
| 946 | }))); |
| 947 | } |
| 948 | _queueRefresh() { |
| 949 | void 0 === this._animationFrame && (this._animationFrame = this._renderService.addRefreshCallback((() => { |
| 950 | this._doRefreshDecorations(), this._animationFrame = void 0; |
| 951 | }))); |
| 952 | } |
| 953 | _doRefreshDecorations() { |
| 954 | for (const e3 of this._decorationService.decorations) this._renderDecoration(e3); |
| 955 | this._dimensionsChanged = false; |
no test coverage detected