vsx-registry: implement verified extension filtering#12995

Merged

tsmaeder merged 7 commits intoeclipse-theia:masterfrom vladarama:vsx-filtering

Jan 15, 2024

+284-40

Commits on Jan 15, 2024

vsx-registry:add checkmark for verified publishers
Vlad Arama
committed
implement filtering of verified vsx extensions
Vlad Arama
committed
implement vsx extensions filtering preference
Vlad Arama
committed
address comments and fix issues
Vlad Arama
committed
cleanup duplicated code
Vlad Arama
committed
implement async fetching of extensions
Vlad Arama
committed
address feedback and cleanup
Vlad Arama
committed