From 5e8cb0ea1faf97c44506c11892fbf5c009a4cc98 Mon Sep 17 00:00:00 2001
From: abakkk <abakkk@netcourrier.com>
Date: Sun, 1 Mar 2020 10:41:45 +0100
Subject: [PATCH] close menu when showing helper

---
 draw.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/draw.js b/draw.js
index 27d9635..e3f283b 100644
--- 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