Menu
▾
▴
[ jEdit-devel ] [ jedit-Feature Requests-1567985 ] Highlight Plugin: Shortcut to HyperSearch
|
From: SourceForge.net <no...@so...> - 2006-10-06 14:57:43
|
Feature Requests item #1567985, was opened at 2006-09-29 21:42 Message generated for change (Comment added) made by hertzhaft You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1567985&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: plugins Group: None >Status: Pending Resolution: None Priority: 1 Submitted By: Martin Raspe (hertzhaft) >Assigned to: Martin Raspe (hertzhaft) Summary: Highlight Plugin: Shortcut to HyperSearch Initial Comment: Hi, I'd like to have next to each highlight entry a shortcut button that executes a hypersearch on the given expression, so it's easier to navigate to all the highlighted places. I could add it to the code myself, just tell me so. Martin ---------------------------------------------------------------------- >Comment By: Martin Raspe (hertzhaft) Date: 2006-10-06 16:57 Message: Logged In: YES user_id=1037294 Matthieu - I implemented the button. Hope you like it! Martin ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1567985&group_id=588 |