-
Notifications
You must be signed in to change notification settings - Fork 13k
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
Document type-based search #75197
Comments
This would be a good first issue. The documentation should go somewhere in https://github.com/rust-lang/rust/tree/master/src/doc/rustdoc/src. |
@rustbot claim |
I'll look into any other obscure search features like this, and be sure to document them. (I'll be sure to document at least this one) |
|
And I don't find that it would really be helpful to document this in the rustdoc book as it's more of an emitted feature rather than a rustdoc feature itself. If it wasn't added to the search tricks already, I would add it there. |
Hmm that does seem simple enough but I never found it after a year in rust ... cc @rust-lang/rustdoc, does anyone have ideas how to make this more discoverable? |
It's true that it's hard to find it, maybe we should add a |
That makes sense, as the settings and theme dropdown are triggered by buttons rather than keyboard shortcuts. |
Ok, I'll send a PR tomorrow to add the button then. |
Add help button Part of rust-lang#75197. Here is a screenshot of the result: ![Screenshot from 2020-08-10 16-53-20](https://user-images.githubusercontent.com/3050060/89796547-14112a00-db2a-11ea-9f25-57b30ab68f9b.png) r? @jyn514
Closing since #75366 is merged, hopefully that will make this easier to find. |
I find this really useful, but it's very difficult to find information on it anywhere.
Example of type-based search: https://users.rust-lang.org/t/a-year-in-rust-and-i-still-cant-read-the-docs/46872/20
The text was updated successfully, but these errors were encountered: