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.
| Submitted | urlwolf - 2010-02-02 - 09:30:22z | Assigned | nobody |
|---|---|---|---|
| Priority | 1 | Category | Project Viewer |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2010-02-26 - 04:40:53z vanza |
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. |
|---|