* Request a render update (triggers selection overlay redraw)
()
| 895 | * Request a render update (triggers selection overlay redraw) |
| 896 | */ |
| 897 | private requestRender(): void { |
| 898 | // The render loop will automatically pick up the new selection state |
| 899 | // and redraw the affected lines. This happens at 60fps. |
| 900 | // |
| 901 | // Note: When clearSelection() is called, it adds dirty rows to dirtySelectionRows |
| 902 | // which the renderer can use to know which lines to redraw. |
| 903 | } |
| 904 | } |
no outgoing calls
no test coverage detected