Skip to content

rustdoc: Update document title when displaying search results #26401

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jun 19, 2015

Conversation

jooert
Copy link
Contributor

@jooert jooert commented Jun 18, 2015

Fixes #26360.

r? @steveklabnik

@@ -571,6 +571,9 @@
return;
}

// Update document title to maintain a meaningful browser history
$(document).prop("title", "Results for " + query.query + " - Rust");

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You've got a tab here and the code below and above is using only spaces...

@jooert
Copy link
Contributor Author

jooert commented Jun 18, 2015

Promoted tabs to spaces.

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Jun 18, 2015

📌 Commit d234b0b has been approved by steveklabnik

@killercup
Copy link
Member

@jooert Does this change the title back when the user exits the search mode (by pressing ESC)? (Should it?)

@jooert
Copy link
Contributor Author

jooert commented Jun 19, 2015

Currently, it doesn't. But we also do not add a new entry to the browser history on pressing ESC at the moment. But, although the search query is still visible in the input field after pressing ESC, I wasn't able to go back to the results for this query (other than modifying the search query), so this whole ESC-pressing feature probably needs more work anyway. (?)

Manishearth added a commit to Manishearth/rust that referenced this pull request Jun 19, 2015
bors added a commit that referenced this pull request Jun 19, 2015
@bors bors merged commit d234b0b into rust-lang:master Jun 19, 2015
@jooert jooert deleted the fix26360 branch June 20, 2015 08:26
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants