Fix tooltip not hide

Author: Yukaii

addon/lint/lint.js

@@ -56,16 +56,14 @@
       if (tooltip) { hideTooltip(tooltip); tooltip = null; }
     }
 
-    if (!cm.state.lint.options.fixedTooltip) {
-      var poll = setInterval(function() {
-        if (tooltip) for (var n = node;; n = n.parentNode) {
-          if (n && n.nodeType == 11) n = n.host;
-          if (n == document.body) return;
-          if (!n) { hide(); break; }
-        }
-        if (!tooltip) return clearInterval(poll);
-      }, 400);
-    }
+    var poll = setInterval(function() {
+      if (tooltip) for (var n = node;; n = n.parentNode) {
+        if (n && n.nodeType == 11) n = n.host;
+        if (n == document.body) return;
+        if (!n) { hide(); break; }
+      }
+      if (!tooltip) return clearInterval(poll);
+    }, 400);
 
     CodeMirror.on(node, "mouseout", hide);
   }