Skip to content

fix: [Plugin-API] complete QuickPick hide api#5766

Merged
akosyakov merged 2 commits intoeclipse-theia:masterfrom hacke2:fix/plugin-ext-quickopen-hideJul 26, 2019

Commits

Commits on Jul 23, 2019

Commits on Jul 26, 2019