fixed #7004 - terminal not focusing after exiting search

2026-09-25 22:46:09 +00:00 · 2022-10-04 20:52:39 +02:00
parent 12f971da19
commit 96b3a40bfb
1 changed files with 1 additions and 0 deletions
@@ -447,6 +447,7 @@ export class XTermFrontend extends Frontend {

    cancelSearch (): void {
        this.search.clearDecorations()
+        this.focus()
    }

    saveState (): any {