Commando: Exclude docs from "everything" search for now

(integrated from master branch change 9.2.1-280-g5db0e45 by Nathan Rijksen <[email protected]>)
delkyd · Sep 14, 2015 · b6ca48d · b6ca48d
1 parent f26ccf1
commit b6ca48d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/modules/scope_combined/content/everything.js b/src/modules/scope_combined/content/everything.js
@@ -22,7 +22,7 @@
  var length = 0;
  for (let id in scopes)
  {
- if (id.indexOf("scope-combined") != -1 || id == "scope-shell" || id == "scope-packages") continue;
+ if (id.indexOf("scope-combined") != -1 || id == "scope-shell" || id == "scope-packages" || id == "scope-docs") continue;
  if (subscope && subscope.scope != id) continue;
  _scopes[id] = scopes[id];
  length++;