From 0d7678095b98a1261d8db1d68b80c56edebb294d Mon Sep 17 00:00:00 2001 From: PizieDust Date: Mon, 23 Dec 2024 16:30:25 +0100 Subject: [PATCH] fix bug --- 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 4a6bee254..edaa2218a 100644 --- a/src/extension_commands.ml +++ b/src/extension_commands.ml @@ -853,7 +853,7 @@ module Search_by_type = struct () in let _disposable = - QuickPick.onDidHide quickPick ~listener:(fun () -> QuickPick.dispose quickPick) + QuickPick.onDidHide quickPick ~listener:(fun () -> QuickPick.dispose quickPick) () in QuickPick.show quickPick