Incidencia #42637

Filter file extensions

Abrir Fecha: 2021-07-18 01:22 Última actualización: 2021-12-08 06:06

Informador:
(Anónimo)
Propietario:
Estado:
Open [Owner assigned]
Componente:
(Ninguno)
Hito:
(Ninguno)
Prioridad:
5 - Medium
Gravedad:
5 - Medium
Resolución:
Ninguno
Fichero:
Ninguno

Details

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
Comentario

Plus 1. This would be a really nice feature.

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

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

Editar

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