From 2af17fd782d9f2e22337bd57c52dab0a5e5b030d Mon Sep 17 00:00:00 2001
From: Beka Westberg <bekawestberg@gmail.com>
Date: Tue, 11 Jun 2019 07:07:14 -0700
Subject: [PATCH] Removed obsolete widgetDiv check in tooltip code.

---
 core/tooltip.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/core/tooltip.js b/core/tooltip.js
index eded96dd4..24d661cc0 100644
--- a/core/tooltip.js
+++ b/core/tooltip.js
@@ -211,9 +211,6 @@ Blockly.Tooltip.onMouseMove_ = function(e) {
   if (!Blockly.Tooltip.element_ || !Blockly.Tooltip.element_.tooltip) {
     // No tooltip here to show.
     return;
-  } else if (Blockly.WidgetDiv.isVisible()) {
-    // Don't display a tooltip if a widget is open (tooltip would be under it).
-    return;
   } else if (Blockly.Tooltip.blocked_) {
     // Someone doesn't want us to show tooltips.  We are probably handling a
     // user gesture, such as a click or drag.