From 2f7fa24aee7f7e69f9fbc37e8d2084fb1c898e97 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Mon, 4 Jun 2018 21:22:51 +0200 Subject: [PATCH] Update rustdoc-js --- src/tools/rustdoc-js/tester.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/tools/rustdoc-js/tester.js b/src/tools/rustdoc-js/tester.js index bc4503903d665..a05c8a8ac9133 100644 --- a/src/tools/rustdoc-js/tester.js +++ b/src/tools/rustdoc-js/tester.js @@ -231,7 +231,9 @@ function main(argv) { finalJS = ""; var arraysToLoad = ["itemTypes"]; - var variablesToLoad = ["MAX_LEV_DISTANCE", "MAX_RESULTS", "TY_PRIMITIVE", "levenshtein_row2"]; + var variablesToLoad = ["MAX_LEV_DISTANCE", "MAX_RESULTS", + "TY_PRIMITIVE", "TY_KEYWORD", + "levenshtein_row2"]; // execQuery first parameter is built in getQuery (which takes in the search input). // execQuery last parameter is built in buildIndex. // buildIndex requires the hashmap from search-index.