diff options
| -rw-r--r-- | src/librustdoc/html/static/main.js | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 21d57a17c67..9243f72dab7 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -386,12 +386,16 @@ }); } + function escape(content) { + return $('<h1/>').text(content).html(); + } + function showResults(results) { var output, shown, query = getQuery(); currentResults = query.id; - output = '<h1>Results for ' + query.query + - (query.type ? ' (type: ' + query.type + ')' : '') + '</h1>'; + output = '<h1>Results for ' + escape(query.query) + + (query.type ? ' (type: ' + escape(query.type) + ')' : '') + '</h1>'; output += '<table class="search-results">'; if (results.length > 0) { @@ -650,4 +654,3 @@ window.initSearch = initSearch; }()); - |