fix: hide datatip view if cursor moved to position without datatip

Author: tonn

lib/datatip-manager.js

@@ -284,7 +284,9 @@ module.exports = class DatatipManager {
       if (provider) {
         const datatip = await provider.datatip(editor, position, evt);
 
-        if (datatip) {
+        if (!datatip) {
+          this.unmountDataTip();
+        } else {
           // omit update of UI if the range is the same as the current one
           if (this.currentMarkerRange != null && datatip.range.intersectsWith(this.currentMarkerRange)) { return; }
           // make sure we are still on the same position