Skip to content

[css-highlight-api-1] Rename HighlightsRegister to HighlightRegistry#6003

Merged
sanketj merged 1 commit into
w3c:mainfrom
sanketj:highlightsregister-to-highlightregistry
Feb 22, 2021
Merged

[css-highlight-api-1] Rename HighlightsRegister to HighlightRegistry#6003
sanketj merged 1 commit into
w3c:mainfrom
sanketj:highlightsregister-to-highlightregistry

Conversation

@sanketj

@sanketj sanketj commented Feb 16, 2021

Copy link
Copy Markdown
Member

The name HighlightRegistry makes more sense for this concept - a place with Highlight objects are registered. It also follows prior art established by CustomElementRegistry.

Closes #5760

@sanketj

sanketj commented Feb 17, 2021

Copy link
Copy Markdown
Member Author

@frivoal Mind taking a look at this?

@sanketj

sanketj commented Feb 22, 2021

Copy link
Copy Markdown
Member Author

@frivoal I'm going to go ahead and merge this since it is just a rename and largely editorial. Let me know if you have any concerns. I can always put in a follow up change.

@sanketj sanketj merged commit e1da994 into w3c:main Feb 22, 2021
@sanketj sanketj deleted the highlightsregister-to-highlightregistry branch February 22, 2021 06:48
@frivoal

frivoal commented Mar 25, 2021

Copy link
Copy Markdown
Collaborator

Sorry for the slow reaction. Yeah, this change is a good idea, thanks for doing it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[css-highlight-api] Should the HighlightsRegister be renamed to HighlightsRegistry

2 participants