Ticket #343 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

filter on filetype when opening a file

Reported by: jquelin Owned by: therek
Priority: major Milestone:
Component: editor Version: 0.35
Keywords: Cc:

Description

reported by barbie

  • When opening a file, no ability to filter on filetype. A large directory of files with no filtering means endless scrolling :(

Change History

comment:1 Changed 5 years ago by therek

  • Owner set to therek
  • Status changed from new to accepted

comment:2 Changed 5 years ago by therek

  • Status changed from accepted to closed
  • Resolution set to fixed

Added in r4674.

Note: See TracTickets for help on using tickets.