diff options
| author | bors <bors@rust-lang.org> | 2014-08-10 06:31:15 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-08-10 06:31:15 +0000 |
| commit | be6c7cf882bacc9da96df5304679af678390d5b0 (patch) | |
| tree | d63a727bafa7f1fc60cdea1d8e3cf6633f7be8c5 /src/librustdoc/html/static | |
| parent | 4ed40ffe8ebbb4479f48af59781d9cf7dcc359da (diff) | |
| parent | 1d784d46613af14e2c54f3b2b5ce8bb50775e18b (diff) | |
| download | rust-be6c7cf882bacc9da96df5304679af678390d5b0.tar.gz rust-be6c7cf882bacc9da96df5304679af678390d5b0.zip | |
auto merge of #16387 : Gankro/rust/doc-search, r=cmr
Fixes str/struct ambiguity (by removing the synonym) and pushes raw searches to the history instead of processed ones. # [Live Version Here](http://cg.scs.carleton.ca/~abeinges/doc/std/)
Diffstat (limited to 'src/librustdoc/html/static')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 9b44dc63f38..7b5d1b7be2f 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -368,18 +368,19 @@ } function getQuery() { - var matches, type, query = $('.search-input').val(); + var matches, type, query, raw = $('.search-input').val(); + query = raw; - matches = query.match(/^(fn|mod|str(uct)?|enum|trait|t(ype)?d(ef)?)\s*:\s*/i); + matches = query.match(/^(fn|mod|struct|enum|trait|t(ype)?d(ef)?)\s*:\s*/i); if (matches) { type = matches[1].replace(/^td$/, 'typedef') - .replace(/^str$/, 'struct') .replace(/^tdef$/, 'typedef') .replace(/^typed$/, 'typedef'); query = query.substring(matches[0].length); } return { + raw: raw, query: query, type: type, id: query + type, @@ -535,10 +536,10 @@ if (browserSupportsHistoryApi()) { if (!history.state && !params.search) { history.pushState(query, "", "?search=" + - encodeURIComponent(query.query)); + encodeURIComponent(query.raw)); } else { history.replaceState(query, "", "?search=" + - encodeURIComponent(query.query)); + encodeURIComponent(query.raw)); } } |
