fix: close history menu when other menu item is clicked

This commit is contained in:
Baptiste Grob
2020-08-20 12:09:03 +02:00
parent 7521847444
commit 518063829f

View File

@@ -380,7 +380,7 @@ class EditorViewCtrl extends PureViewCtrl<{}, EditorState> {
'showOptionsMenu', 'showOptionsMenu',
'showEditorMenu', 'showEditorMenu',
'showExtensions', 'showExtensions',
'showSessionHistory' 'showHistory',
]; ];
const menuState: any = {}; const menuState: any = {};
for (const candidate of allMenus) { for (const candidate of allMenus) {