* Mark a region as non-selectable (excluded from fullscreen text * selection copy + highlight). Used by to fence off * gutters (line numbers, diff sigils). Applied AFTER blit/write so * the mark wins regardless of what's blitted into the region.
(region: Rectangle)
| 235 | * the mark wins regardless of what's blitted into the region. |
| 236 | */ |
| 237 | noSelect(region: Rectangle): void { |
| 238 | this.operations.push({ type: 'noSelect', region }) |
| 239 | } |
| 240 | |
| 241 | write(x: number, y: number, text: string, softWrap?: boolean[]): void { |
| 242 | if (!text) { |
no test coverage detected