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.

Sign up for GitHub

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

Jump to bottom

Highlight group for gitignored entries #320

Open
alex35mil opened this issue Oct 5, 2023 · 1 comment
Open

Highlight group for gitignored entries #320

alex35mil opened this issue Oct 5, 2023 · 1 comment
Labels
enhancement New feature or request

Comments

@alex35mil
Copy link

Sorry if it already exists. But I didn't find one.

Is your feature request related to a problem? Please describe.
Kind of. It would be great to have a different style for gitignored entries.

Describe the solution you'd like
To have a highlight group for gitignored entries so I could dim such entries in the file list.

Describe alternatives you've considered
None.

Additional context
None.
@alex35mil alex35mil added the enhancement New feature or request label Oct 5, 2023
@jamestrew
Copy link
Collaborator

Seems like not a bad idea. If anyone is interested in implementing, a PR is welcome. I might try to work on it in the future but no timeline guaranteed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@alex35mil @jamestrew