Add a Search Box for Folder/File List

[emptymalei]

I have tonnes of folders/files in my working path, e.g.,

Each time I need to find something I have to ⌘+F and using the browser built in search. It's not so convenient actually.

Meanwhile, I noticed fontawesome.io has a very nice search box to filter the icons. Would it be cool to implement something like that?

[gnestor]

I believe this is what you are looking for: https://github.com/jdfreder/jupyter-tree-filter

To install, I suggest installing jupyter_nbextensions_configurator which is an extension manager for the Jupyter Notebook. Otherwise, follow the nbextension installation instructions.

[emptymalei]

@gnestor Exactly what I was looking for. Thanks.

[ggrrll]

@gnestor - thanks for the suggestion

however, it doesn't look for the file in sub-directories... maybe that's something to be implemented too...

[gnestor]

@ggrrll I suggest that you create a feature request issue on the https://github.com/jdfreder/jupyter-tree-filter repo.