From 7bba74add862041461b87553ea04ecda6757c98b Mon Sep 17 00:00:00 2001
From: Abdelghani Alidra <alidrandco@yahoo.fr>
Date: Wed, 17 Jul 2024 17:24:24 +0200
Subject: [PATCH] vscode: set preserveFocus to true to prevent Goals panel from
 taking focus each time

---
 editors/vscode/src/client.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editors/vscode/src/client.ts b/editors/vscode/src/client.ts
index ad441ffe6..ccf3951c3 100644
--- a/editors/vscode/src/client.ts
+++ b/editors/vscode/src/client.ts
@@ -705,7 +705,7 @@ function sendGoalsRequest(position: Position, panel: WebviewPanel, docUri: Uri,
         }
         // Take focus back if the goal panel lost it.
         if(!panel.active) {
-            panel.reveal(2, false);
+            panel.reveal(2, true);
         }
 
         updateTerminalText(goals.logs);