search

scijava / script-editor

Script Editor and Interpreter for SciJava script languages
http://imagej.net/Script_Editor
BSD 2-Clause "Simplified" License
12 stars 12 forks source link

Feature request: add a text field to filter files by extension #33

Closed acardona closed 3 years ago

acardona commented 5 years ago

In the new FileSystemTree (the left panel listing folders and files), at the top, there should be a text field next to the [+] and [-] buttons to enable filtering folder contents by file name extension.

As suggested by Daniela https://twitter.com/happifocus/status/1118917974142914560

acardona commented 5 years ago

Even better, the search box ought to accept regular expressions, filtering by the entire filename rather than just the extension.