Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

rustdoc: Update document title when displaying search results #26401

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
Contributor

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants