Support filter on filename in the file tree example

Question

Support filter on filename in the file tree example

echarles opened this issue 4 years ago · 5 comments

While showcasing file tree example, can we demonstrate how to add a filter on file names like discussed on jupyterlab/jupyterlab#8157 ?

Answer 1 · 2020-06-08T16:57:35.000Z

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:

Answer 2 · 2020-06-18T20:14:51.000Z

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 ?

Answer 3 · 2020-06-19T07:44:15.000Z

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

Answer 4 · 2020-06-20T12:51:59.000Z

Hey @sakshamk6999, are you still working on this?

Answer 5 · 2020-06-20T13:08:14.000Z

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 ?