close menu when showing helper

2020-03-01 10:41:45 +01:00 · 2020-03-01 10:41:45 +01:00 · 5e8cb0ea1f
parent acb728a117
commit 5e8cb0ea1f
1 changed files with 3 additions and 0 deletions
--- a/draw.js
+++ b/draw.js
@ -569,6 +569,9 @@ var DrawingArea = new Lang.Class({
    },
    
    toggleHelp: function() {
+        if (this._menu)
+            this._menu.close();
+        
        if (this.helper.visible)
            this.helper.hideHelp();
        else