(e3, t3)
| 1016 | return t3 >= e3.startBufferLine - this._linePadding[i2 || "full"] && t3 <= e3.endBufferLine + this._linePadding[i2 || "full"]; |
| 1017 | } |
| 1018 | _addLineToZone(e3, t3) { |
| 1019 | e3.startBufferLine = Math.min(e3.startBufferLine, t3), e3.endBufferLine = Math.max(e3.endBufferLine, t3); |
| 1020 | } |
| 1021 | }; |
| 1022 | }, 5744: function(e2, t2, i2) { |
| 1023 | var s2 = this && this.__decorate || function(e3, t3, i3, s3) { |