fix: config for waiting time (decreased the default)

Author: aminya

lib/datatip-manager.js

@@ -67,20 +67,23 @@ module.exports = class DatatipManager {
      */
     this.onCursorMoveEvt = this.onCursorMoveEvt.bind(this);
     /**
-     * to optimize show/hide calls we set a timeout of 500ms for the mouse movement
-     * only if the mouse pointer is not moving for more than 500ms the data tip functionality is triggered
+     * to optimize show/hide calls we set a timeout of hoverTime for the mouse movement
+     * only if the mouse pointer is not moving for more than hoverTime the data tip functionality is triggered
      */
     this.mouseMoveTimer = null;
     /**
-     * to optimize show/hide calls we set a timeout of 500ms for the cursor movement
-     * only if the cursor is not moving for more than 500ms the data tip functionality is triggered
+     * to optimize show/hide calls we set a timeout of hoverTime for the cursor movement
+     * only if the cursor is not moving for more than hoverTime the data tip functionality is triggered
      */
     this.cursorMoveTimer = null;
     /**
      * a reference to the markdown rendering service
      * @type {AtomIDE.MarkdownService}
      */
     this.renderer = null;
+
+    /** The time that the mouse/cursor should hover/stay to show a datatip. Also specifies the time that the datatip is still shown when the mouse/cursor moves [ms]. */
+    this.hoverTime = atom.config.get("atom-ide-datatip.hoverTime");
   }
 
   /**
@@ -233,7 +236,7 @@ module.exports = class DatatipManager {
           (!this.currentMarkerRange.containsPoint(position))) {
         this.showDataTip(editor, position, evt);
       }
-    }, 500, evt);
+    }, this.hoverTime, evt);
   }
 
   /**
@@ -272,7 +275,7 @@ module.exports = class DatatipManager {
            (!this.currentMarkerRange.containsPoint(point))) {
             this.showDataTip(this.editor, point, evt);
       }
-    }, 500, evt);
+    }, this.hoverTime, evt);
   }
 
   /**

package.json

@@ -65,6 +65,12 @@
       "description": "If set to true, the data tip is shown as soon as you move your mouse around.",
       "type": "boolean",
       "default": false
+    },
+    "hoverTime": {
+      "title": "Hover/Stay Time",
+      "description": "The time that the mouse/cursor should hover/stay to show a datatip. Also specifies the time that the datatip is still shown when the mouse/cursor moves [ms].",
+      "type": "number",
+      "default": 50
     }
   },
   "providedServices": {