feat(hints): add showCodeHintDocs preference to toggle doc popup

Lets users hide the documentation popup shown beside code hints
while keeping the hint list itself enabled.

Author: abose

src/editor/CodeHintManager.js

@@ -272,6 +272,9 @@ define(function (require, exports, module) {
     PreferencesManager.definePreference("showCodeHints", "boolean", true, {
         description: Strings.DESCRIPTION_SHOW_CODE_HINTS
     });
+    PreferencesManager.definePreference("showCodeHintDocs", "boolean", true, {
+        description: Strings.DESCRIPTION_SHOW_CODE_HINT_DOCS
+    });
     PreferencesManager.definePreference("insertHintOnTab", "boolean", true, {
         description: Strings.DESCRIPTION_INSERT_HINT_ON_TAB
     });

src/languageTools/DefaultProviders.js

@@ -31,6 +31,7 @@ define(function (require, exports, module) {
 
     var EditorManager = require("editor/EditorManager"),
       DocumentManager = require("document/DocumentManager"),
+      PreferencesManager = require("preferences/PreferencesManager"),
       CommandManager = require("command/CommandManager"),
       Commands = require("command/Commands"),
       StringMatch = require("utils/StringMatch"),
@@ -257,6 +258,12 @@ define(function (require, exports, module) {
     }
 
     function _showDocPopup($hint, docHtml) {
+        // Single choke point for the docs popup beside the hint list - the preference gates
+        // every caller (LSP hints here, npm hints, ...).
+        if (PreferencesManager.get("showCodeHintDocs") === false) {
+            _hideDocPopup();
+            return;
+        }
         var $menu = $hint.closest(".codehint-menu");
         if (!docHtml || !$menu.length) {
             _hideDocPopup();

src/nls/root/strings.js

@@ -1691,6 +1691,7 @@ define({
     "DESCRIPTION_SCROLL_PAST_END": "true to enable scrolling beyond the end of the document",
     "DESCRIPTION_MOUSE_WHEEL_SCROLL_SENSITIVITY": "Multiplier for mouse wheel scroll speed (0.1 to 10, default 1). Adjust if scrolling feels too slow or fast.",
     "DESCRIPTION_SHOW_CODE_HINTS": "false to disable all code hints",
+    "DESCRIPTION_SHOW_CODE_HINT_DOCS": "false to hide the documentation popup shown beside code hints",
     "DESCRIPTION_SHOW_CURSOR_WHEN_SELECTING": "Keeps the blinking cursor visible when you have a text selection",
     "DESCRIPTION_SHOW_LINE_NUMBERS": "true to show line numbers in a “gutter” to the left of the code",
     "DESCRIPTION_RULERS_COLUMNS": "An array of column numbers to draw vertical rulers in the editor. Eg: [80, 100]",