From edcf20f5b3ac28b9935b5ecf82c922d0e9486255 Mon Sep 17 00:00:00 2001 From: PixieDust <111846546+PizieDust@users.noreply.github.com> Date: Tue, 24 Dec 2024 02:19:52 +0100 Subject: [PATCH] fix bug (#1694) --- 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