From aaf5d50a32616021318c03aac829894f2ecc3a30 Mon Sep 17 00:00:00 2001
From: Lars Reimann <mail@larsreimann.com>
Date: Fri, 24 Jun 2022 21:50:31 +0200
Subject: [PATCH] fix(gui): close batch mode dropdown after an option was
 chosen

---
 api-editor/gui/src/common/MenuBar.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/api-editor/gui/src/common/MenuBar.tsx b/api-editor/gui/src/common/MenuBar.tsx
index cac986b7b..fce83c74d 100644
--- a/api-editor/gui/src/common/MenuBar.tsx
+++ b/api-editor/gui/src/common/MenuBar.tsx
@@ -105,7 +105,7 @@ export const MenuBar: React.FC<MenuBarProps> = function ({ displayInferErrors })
                 <DeleteAllAnnotations />
 
                 <Box>
-                    <Menu closeOnSelect={false}>
+                    <Menu>
                         <MenuButton as={Button} rightIcon={<Icon as={FaChevronDown} />} disabled={!usernameIsValid}>
                             Batch
                         </MenuButton>