[ jEdit-devel ] [ jedit-Plugin Feature Requests-2944502 ] projectViewer: integrate hypersearch results

[SourceForge.net <no...@so...>]

Plugin Feature Requests item #2944502, was opened at 2010-02-02 01:30
Message generated for change (Settings changed) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997936&aid=2944502&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
>Category: Project Viewer
Group: None
Status: Open
Priority: 1
Private: No
Submitted By: Jose Quesada (urlwolf)
Assigned to: Nobody/Anonymous (nobody)
Summary: projectViewer: integrate hypersearch results

Initial Comment:
Right now, projectViewer shows when a file has changed (tiny disk icon) and when it's open in a buffer (underlined)

A logical next step is to integrate hypersearch results, for example making files that contain a match bold. Or different background color.

----------------------------------------------------------------------

Comment By: Marcelo Vanzin (vanza)
Date: 2010-02-25 20:40

Message:
Whlie an interesting idea, there doesn't seem to be a way to be notified of
hypersearch results (just to request a hypersearch). So this can't be
implemented against the current jEdit code.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997936&aid=2944502&group_id=588