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

priority -> yieldTo for drop/paste API proposals #189881

Merged
merged 1 commit into from
Aug 8, 2023
Merged

priority -> yieldTo for drop/paste API proposals #189881

merged 1 commit into from
Aug 8, 2023

Conversation

mjbvz
Copy link
Collaborator

@mjbvz mjbvz commented Aug 8, 2023

For #179430, #30066

Switching to use yieldTo instead of priority to let an extension de-rank itself in the list of edits. priority was an arbitrary number while yieldTo is less arbitrary and more maintainable

@mjbvz
Move await from priority for drop/paste API proposals
1740397 
For #179430, #30066

Switching to use `yieldTo` instead of `priority` to let an extension de-rank itself in the list of edits. `priority` was an arbitrary number while `yieldTo` gives more control over how the ranking takes place
@mjbvz mjbvz added this to the August 2023 milestone Aug 8, 2023
@mjbvz mjbvz self-assigned this Aug 8, 2023
@mjbvz mjbvz enabled auto-merge (squash) August 8, 2023 00:22
@mjbvz mjbvz merged commit 39df243 into main Aug 8, 2023
6 checks passed
@mjbvz mjbvz deleted the spare-sailfish branch August 8, 2023 01:32
@github-actions github-actions bot locked and limited conversation to collaborators Sep 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@TylerLeonhardt TylerLeonhardt TylerLeonhardt approved these changes

Assignees

@mjbvz mjbvz

Labels
None yet
Projects
None yet
Milestone
August 2023
Development

Successfully merging this pull request may close these issues.
2 participants
@mjbvz @TylerLeonhardt