Re: [ jEdit-users ] Filtering hypersearch results

[Matthew G. <gi...@vo...>]

Hi Shlomy,

Take a look in the SideKick plugin (SideKickTree.java and
FilteredTreeModel.java). I added some code to filter sidekick nodes,
maybe the same filtering code could be used for this. The
FilteredTreeModel I stole from LimeWire. I think the UI's for this
filter and the SideKick filter should match.

BTW, great idea, I'd use this a lot.

_matt

On Mon, Sep 29, 2008 at 3:04 PM, Shlomy Reinstein <sre...@gm...> wrote:
> Hi,
>
> I'd like to add a capability to the hypersearch results dockable, to
> filter out results based on various criteria, such as path globs or
> substrings of the results. Of course, these filters would preferably
> be part of the search itself, and not the search results, but often I
> run some project-wide search without thinking of these things, and
> later I see many irrelevant results and would like to filter them out
> rather than run a new search with these filters.
> One option to implement this is to have some "filter" dropdown in the
> hypersearch results dockable, which would allow using one of several
> saved filters, or alternatively open a dialog to create a new filter.
> Another option, less intuitive but most powerful, is to have the
> ability to send the hypersearch results in some specific format to a
> new buffer, and also be able to read it back from the buffer into the
> hypersearch results, so that one can "export" the results to a buffer,
> make any changes one likes (like remove irrelevant results) in the
> buffer, and then "import" the results back to the hypersearch results
> dockable.
> Any recommendations?
>
> Shlomy
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>