bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add link to rustdoc book in rustdoc help popup

Browse source
This commit is contained in:
Guillaume Gomez 2020-10-19 13:44:27 +02:00
parent 98e16884b1
commit 880d644a50
5 changed files with 33 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/librustdoc/html/static/main.js
View file

@ -2792,6 +2792,10 @@ function defocusSearchBar() {
addClass(popup, "hidden");
popup.id = "help";
var book_info = document.createElement("span");
book_info.innerHTML = "You can find more information in \
<a href=\"https://doc.rust-lang.org/rustdoc/\">the rustdoc book</a>.";
var container = document.createElement("div");
var shortcuts = [
["?", "Show this help dialog"],
@ -2825,6 +2829,7 @@ function defocusSearchBar() {
addClass(div_infos, "infos");
div_infos.innerHTML = "<h2>Search Tricks</h2>" + infos;
container.appendChild(book_info);
container.appendChild(div_shortcuts);
container.appendChild(div_infos);