Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

File browser plugin: filtering directories #2075

Open
stefanct opened this issue Feb 1, 2019 · 1 comment
Open

File browser plugin: filtering directories #2075

stefanct opened this issue Feb 1, 2019 · 1 comment
Labels

Comments

@stefanct
Copy link

stefanct commented Feb 1, 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 :):

if (check_filtered(utf8_name))

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?

@elextr elextr transferred this issue from geany/geany Feb 1, 2019
@codebrainz codebrainz transferred this issue from geany/geany-plugins Feb 1, 2019
@elextr
Copy link
Member

elextr commented Apr 6, 2019

Would you accept a patch that adds this?

I don't see why it would not be accepted if it doesn't stop existing functionality from working.

@stefanct sorry I initially read this as referring to treebrowser in Geany-plugins.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants