From b81bd3e5d199bbedace226801d9f9a8939e090ef Mon Sep 17 00:00:00 2001
From: PixieDust <111846546+PizieDust@users.noreply.github.com>
Date: Mon, 28 Oct 2024 14:00:17 +0100
Subject: [PATCH] Update src/extension_commands.ml

Co-authored-by: Ulysse <5031221+voodoos@users.noreply.github.com>
---
 src/extension_commands.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/extension_commands.ml b/src/extension_commands.ml
index b7107dad3..358ed26df 100644
--- a/src/extension_commands.ml
+++ b/src/extension_commands.ml
@@ -614,7 +614,7 @@ module Search_by_type = struct
         ~enabled:true
         ~placeholder:"Select an item to insert it to the editor"
         ~selectedItems:[]
-        ~ignoreFocusOut:true
+        ~ignoreFocusOut:false
         ~items:quickPickItems
         ~buttons:[ Window.quickInputButtonBack ]
         ()