From 7ee934e54c922a1327147f434555d7a948c70a3e Mon Sep 17 00:00:00 2001
From: Baptiste Grob <60621355+baptiste-grob@users.noreply.github.com>
Date: Wed, 12 Feb 2020 18:54:31 +0100
Subject: [PATCH] Fix unable to 'undefault' editor

---
 app/assets/javascripts/directives/views/editorMenu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/directives/views/editorMenu.js b/app/assets/javascripts/directives/views/editorMenu.js
index a47b8630f..f2a81e4b5 100644
--- a/app/assets/javascripts/directives/views/editorMenu.js
+++ b/app/assets/javascripts/directives/views/editorMenu.js
@@ -46,7 +46,7 @@ class EditorMenuCtrl extends PureCtrl {
   }
 
   toggleDefaultForEditor(editor) {
-    if(this.defaultEditor === editor) {
+    if(this.state.defaultEditor === editor) {
       this.removeEditorDefault(editor);
     } else {
       this.makeEditorDefault(editor);