× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.


  1.  Home
  2. WDSCI-L
  3. December 2014

Re: Mark Occurrences support

Thanks, chaps!

I wondered if there is a Preference somewhere that allows the
highlighting colour to be changed, (e.g. from green to yellow)?

From: Edmund Reinhardt For everyone there is an additional link in that chain:
Preferences > General > Editors > Text Editors > Annotations > Occurrences
(org.eclipse.imp.runtime.occurrenceAnnotation)

From: Buck Calabro
Preferences > General > Text Editors > Annotations > Occurrences
(org.eclipse.imp.runtime.occurrenceAnnotation)

Brian.

As an Amazon Associate we earn from qualifying purchases.

This thread ...
Replies:
Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.