6 commits

Author	SHA1	Message	Date
b1nd	9a45c9d7c6	Completed patch searching for rust docs ... Made temporary changes to include multiple keywords in rustdoc search Implemented search based on multiple keywords Added some commenting and house cleaning Added path searching to rustdoc	2014-01-14 19:26:43 +11:00
Jordi Boggiano	1501d65112	Highlight line numbers of the lines referred to in the url hash	2013-10-02 12:32:16 -07:00
Alex Crichton	cc1791584f	rustdoc: Detect repeated keys and fix width ... When a key is pressed and held, this now does the OS-style repeating after a bit of a pause. Also fixes the width of search results to be correct (was changed beforehand and didn't catch this).	2013-09-30 20:31:19 -07:00
Alex Crichton	b93678eca5	rustdoc: Fix search for something on the same page	2013-09-27 11:06:07 -07:00
Alex Crichton	c5e03bec4d	rustdoc: Don't emit redirect pages for variants/fields ... It's just a waste of disk space and it can be done just as well in JS.	2013-09-27 10:40:41 -07:00
Alex Crichton	7b24efd6f3	rustdoc: Out with the old, in with the new ... Removes old rustdoc, moves rustdoc_ng into its place instead (plus drops the _ng suffix). Also shreds all reference to rustdoc_ng from the Makefile rules.	2013-09-22 09:51:15 -07:00

Renamed from src/rustdoc_ng/html/static/main.js (Browse further)