(e3)
| 2176 | this._oldSelectionStart = e3, this._oldSelectionEnd = t3, this._oldHasSelection = i3, this._onSelectionChange.fire(); |
| 2177 | } |
| 2178 | _handleBufferActivate(e3) { |
| 2179 | this.clearSelection(), this._trimListener.dispose(), this._trimListener = e3.activeBuffer.lines.onTrim(((e4) => this._handleTrim(e4))); |
| 2180 | } |
| 2181 | _convertViewportColToCharacterIndex(e3, t3) { |
| 2182 | let i3 = t3; |
| 2183 | for (let s3 = 0; t3 >= s3; s3++) { |
no test coverage detected