mirror of
https://github.com/harvester/harvester-ui-extension.git
synced 2026-08-16 04:39:15 +00:00
(cherry picked from commit a88bed9eb49632dc4ccb132d9f53b162197c557c) Signed-off-by: Andy Lee <andy.lee@suse.com> Co-authored-by: Andy Lee <andy.lee@suse.com>
This commit is contained in:
parent
6d4cd09568
commit
0bccb9a71f
@ -213,9 +213,15 @@ export default {
|
||||
},
|
||||
|
||||
clearSearchHighlights() {
|
||||
this.terminal?.clearSelection();
|
||||
this.searchAddon?.clearActiveDecoration();
|
||||
this.searchAddon?.clearDecorations();
|
||||
this.terminal?.clearSelection();
|
||||
|
||||
// Disposing the search decorations doesn't repaint the webgl/canvas
|
||||
// layer, so force a refresh to remove the lingering highlight.
|
||||
if (this.terminal) {
|
||||
this.terminal.refresh(0, this.terminal.rows - 1);
|
||||
}
|
||||
},
|
||||
|
||||
findNext() {
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user