Code

Filter button in search box#8540

Code

Merged

paul-marechal merged 1 commit intoeclipse-theia:mastereclipse-theia/theia:masterfrom colin-grant-work:feature/filter-search-boxcolin-grant-work/theia:feature/filter-search-boxCopy head branch name to clipboardNov 11, 2020

+106-11

Commits

Commits on Oct 7, 2020

• Filter button in search box

  Show description for 1b59f79
  

  Colin Grant

  committed
  1b59f79

  Copy full SHA for 1b59f79