Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#216 Per-Pane File Filters

open
nobody
core (195)
5
2014-04-11
2008-05-01
Nathan Gray
No

This is a feature aimed at making jedit more useful when using multiple panes and/or views. The idea is to provide a way of segregating files into "lightweight groups" by filtering the files that appear in the buffer switcher on a given pane. Any buffer can still be viewed in any pane -- the switcher just won't show all of them in all cases.

My proposed interface would be something like a checkbox in the View
pane labeled "enable file filters on panes". If the box is checked,
each buffer switcher has the usual list of files but also an extra
entry -- "Change File Filter". If you choose this
option you're presented with a dialog where you can choose from a few
filter types:

In this pane, show only:
[ ] Files in project/project group (|Foo|)
[ ] Files with language type (|Bar|)
[ ] Files with paths matching regular expression: _______________
[ ] Files filtered by beanshell expression: ______________

The result would be a "filter" object attached to the pane object,
used by the buffer switcher but also available for use with plugins
and such. There should probably be some visual hint that the switcher
is filtered -- like a "..." entry or something. On the other hand, it might be better to carry on displaying all the open files, but segregate the filtered out files to the bottom of the list below a separator.

I know enough java that I could probably pull this off eventually, but I'd be very pleased if somebody snapped it up and beat me to it. :-)

Discussion