-
Notifications
You must be signed in to change notification settings - Fork 12.3k
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
Rename doc(spotlight)
to doc(notable_trait)
#80936
Comments
This is a user-facing change. I know doc(spotlight) is nightly only, but is the improvement worth it? I think cc @Manishearth |
I don't think it's that clear of a name. "spotlight" could mean many things, but |
Yeah, I feel like we should call it |
Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]` Fixes rust-lang#80936. "spotlight" is not a very specific or self-explaining name. Additionally, the dialog that it triggers is called "Notable traits". So, "notable trait" is a better name. * Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]` * Rename `#![feature(doc_spotlight)]` to `#![feature(doc_notable_trait)]` * Update documentation * Improve documentation r? `@Manishearth`
Leaving this as a todo for myself:
We should probably rename this flag to
notable_trait
since (a) it's clearer and (b) that's what the popup that it triggers is called. We should probably do it in another PR though; I'll try to do that soon.Originally posted by @camelid in #80914 (comment)
@rustbot claim
The text was updated successfully, but these errors were encountered: