From 518063829fd5859fdf85610f9faea1c1a57120c1 Mon Sep 17 00:00:00 2001
From: Baptiste Grob <60621355+baptiste-grob@users.noreply.github.com>
Date: Thu, 20 Aug 2020 12:09:03 +0200
Subject: [PATCH] fix: close history menu when other menu item is clicked

---
 app/assets/javascripts/views/editor/editor_view.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/views/editor/editor_view.ts b/app/assets/javascripts/views/editor/editor_view.ts
index 904b90242..9db95e47d 100644
--- a/app/assets/javascripts/views/editor/editor_view.ts
+++ b/app/assets/javascripts/views/editor/editor_view.ts
@@ -380,7 +380,7 @@ class EditorViewCtrl extends PureViewCtrl<{}, EditorState> {
       'showOptionsMenu',
       'showEditorMenu',
       'showExtensions',
-      'showSessionHistory'
+      'showHistory',
     ];
     const menuState: any = {};
     for (const candidate of allMenus) {