Support filter on filename in the file tree example

[echarles]

While showcasing file tree example, can we demonstrate how to add a filter on file names like discussed on https://github.com/jupyterlab/jupyterlab/issues/8157 ?

[telamonian]

Absolutely. My plan for this is to add a breadcrumbs/filter UI component to the top of the filename column. Think along the lines of github's "find file" UI:

[sakshamk6999]

Hi, I am interested in contributing for this issue. So, we need to add a filter functionality right ? And would this feature be limited to the file tree example only ?

[sakshamk6999]

There is an error, it shows nothing in the html files in the example directory

[awasthishubh]

Hey @sakshamk6999, are you still working on this?

[harshilsharma1997]

Hey, I have been looking at this issue for sometime, and I was wondering, if we can just use the regular-table element like the normal table element, and add a filter component over it, just like we can in a table element ?