The fix for this is emitting a wake-up event to tell the terminal to recalculate its search highlights on resize. Release Notes: - terminal: Fix bug where search match highlights wouldn't update their position when resizing the terminal.
The fix for this is emitting a wake-up event to tell the terminal to recalculate its search highlights on resize. Release Notes: - terminal: Fix bug where search match highlights wouldn't update their position when resizing the terminal.