eclipse-platform / eclipse-platform/eclipse.platform
RefreshProvider should have a priority
Open
- Dominant language
- Java
- Stars
- 165
- Forks
- 174
- Avg merge
- 2d 8h
- Merged PRs (30d)
- 22
Description
Currently providers are simply unsorted and have random order, but we might want to give more special ones precedence over simpler ones.
Contributor guide
Assessment
This issue has not been assessed yet.