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.

Sign up for GitHub

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

Jump to bottom

Popover: consider renaming "auto popover list" to "auto showing popover list" #9413

Closed
mbrodesser-Igalia opened this issue Jun 12, 2023 · 10 comments · Fixed by #9680
Closed

Popover: consider renaming "auto popover list" to "auto showing popover list" #9413

mbrodesser-Igalia opened this issue Jun 12, 2023 · 10 comments · Fixed by #9680
Labels
clarification Standard could be clearer editorial Changes that do not affect how the standard is understood. topic: popover The popover attribute and friends

Comments

@mbrodesser-Igalia
Copy link
Member

https://html.spec.whatwg.org/#auto-popover-list

It'd simplify understanding the places where it's referenced.
@mbrodesser-Igalia mbrodesser-Igalia added the topic: popover The popover attribute and friends label Jun 12, 2023
@arup1221

This comment was marked as spam.

Sign in to view
@annevk
Copy link
Member

annevk commented Jun 12, 2023

We don't assign issues. We take PRs though.

I'm not really sure how renaming simplifies things, but perhaps it makes things clearer?

@annevk annevk added the clarification Standard could be clearer label Jun 12, 2023
@arup1221

This comment was marked as spam.

Sign in to view
@nt1m nt1m added the editorial Changes that do not affect how the standard is understood. label Jun 13, 2023
@mbrodesser-Igalia
Copy link
Member Author

but perhaps it makes things clearer?

Yes, from my perspective, it does. I'm open to other feedback though.

@arup1221

This comment was marked as resolved.

Sign in to view
@mbrodesser-Igalia

This comment was marked as resolved.

Sign in to view
@arup1221

This comment was marked as resolved.

Sign in to view
@mbrodesser-Igalia

This comment was marked as resolved.

Sign in to view
@annevk
Copy link
Member

annevk commented Jun 13, 2023

Let's move this to #9418.

josepharhar added a commit to josepharhar/html that referenced this issue Sep 4, 2023
@josepharhar
Rename "auto popover list" to "showing auto popover list"
d2a9028 
This change is editorial.

Fixes whatwg#9413
@josepharhar josepharhar mentioned this issue Sep 4, 2023
Merged
@josepharhar
Copy link
Contributor

I created a PR to do the rename: #9680
I like "showing auto popover list" more than "auto showing popover list", what do you think @mbrodesser-Igalia?

annevk pushed a commit that referenced this issue Sep 26, 2023
@josepharhar
Editorial: rename "auto popover list" to "showing auto popover list"
88639ce 
Fixes #9413.
mfreed7 pushed a commit to mfreed7/html that referenced this issue Oct 11, 2023
@josepharhar
Editorial: rename "auto popover list" to "showing auto popover list"
363db25 
Fixes whatwg#9413.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
clarification Standard could be clearer editorial Changes that do not affect how the standard is understood. topic: popover The popover attribute and friends
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Rename "auto popover list" to "showing auto popover list" josepharhar/html
5 participants
@annevk @nt1m @josepharhar @arup1221 @mbrodesser-Igalia