|
From: Weber, T. <tho...@ro...> - 2005-09-08 14:43:49
|
Hi,
try the Highlight Plugin. It does just that!
rgds, tom
------------------------------------
Thomas Weber
Software Developer
Roche Diagnostics GmbH / GGRE
+43 316 27787 5841
------------------------------------
Vertraulichkeitshinweis:=20
Diese Nachricht ist ausschlie=DFlich f=FCr die Personen bestimmt, an die =
sie adressiert ist. Sie kann vertrauliche und/oder nur f=FCr den/die =
Empf=E4nger bestimmte Informationen enthalten. Sollten Sie nicht der =
bestimmungsgem=E4=DFe Empf=E4nger sein, kontaktieren Sie bitte den =
Absender und l=F6schen Sie die Mitteilung. Jegliche unbefugte Verwendung =
der Informationen in dieser Nachricht ist untersagt.
Confidentiality Note:=20
This message is intended only for the use of the named recipient(s) and =
may contain confidential and/or privileged information. If you are not =
the intended recipient, please contact the sender and delete the =
message. Any unauthorized use of the information contained in this =
message is prohibited
-----Original Message-----
From: jed...@li... =
[mailto:jed...@li...] On Behalf Of Chris =
Morris
Sent: Thursday, September 08, 2005 4:37 PM
To: jed...@li...
Subject: [ jEdit-users ] Highlight Hypersearch?
Eclipse 3.1 JDT has added a cool feature where all instances of the =
current Java element is automatically highlighted (yellow background). I =
was wondering if anyone knew of any existing =
plug-in/macro/trick/existing-feature-I'm-too-dense-to-notice to get =
hypersearch results highlighted in the editor text itself. It's one of =
those features I never knew I was missing.
--=20
Chris
http://clabs.org
-------------------------------------------------------
SF.Net email is Sponsored by the Better Software Conference & EXPO =
September 19-22, 2005 * San Francisco, CA * Development Lifecycle =
Practices Agile & Plan-Driven Development * Managing Projects & Teams * =
Testing & QA Security * Process Improvement & Measurement * =
http://www.sqe.com/bsce5sf
--=20
-----------------------------------------------
jEdit Users' List
jEd...@li... =
https://lists.sourceforge.net/lists/listinfo/jedit-users
|