[Github-comments] [geany/geany-plugins] File browser plugin: filtering directories (#817)

Stefan Tauner notifications at xxxxx
Fri Feb 1 12:53:48 UTC 2019


Hi,
with the file browser plugin one can easily filter out files by name patterns (in a new sidebar tab named "Files" in case you don't know that). Unfortunately, the check that prevents elements added to the viewed list (`check_filtered()`) is guarded by a `if (dir)` (literally :):
https://github.com/geany/geany/blob/bf5c9eddd8a500577719af7fc7f1c1ffb8044a49/plugins/filebrowser.c#L255
I have not tried it but I don't expect any problems if it's applied to all elements, i.e. to directories as well. Would you accept a patch that adds this?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/issues/817
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190201/28479ede/attachment.html>


More information about the Github-comments mailing list