Ticket #42637

Filter file extensions

Date d'ouverture: 2021-07-18 01:22 Dernière mise à jour: 2021-12-08 06:06

Rapporteur:
(Anonyme)
Propriétaire:
État:
Ouvert [Owner assigned]
Composant:
(Aucun)
Jalon:
(Aucun)
Priorité:
5 - moyen
Sévérité:
5 - moyen
Résolution:
Aucun
Fichier:
Aucun

Détails

Allow filtering of file extension for directory searches. This could be to omit file types that you want to ignore and visually can make it more difficult to see other files.

Ticket History (3/3 Histories)

2021-07-18 01:22 Updated by: None
  • New Ticket "Filter file extensions" created
2021-07-29 04:12 Updated by: None
Commentaire

Plus 1. This would be a really nice feature.

2021-12-08 06:06 Updated by: assarbad
Commentaire

Do I get it right that you would like to color only the chosen file extension(s) but not the rest? Otherwise you need to clarify. Thanks.

Attachment File List

No attachments

Modifier

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Connexion