Highlight |
Version 1.8.1 (Mar 5, 2010)
Matthieu Casanova <chocolat.mou@gmail.com> |
This plugin is a very simple plugin that will highlight a word you selected.
I found this in Intellij Idea and loved this feature so I added it here.
Highlight Usage
There are severals methods to add highlights : the first one is the old one, you select a word,
call highlight and the highlight appears.
The second one is a dialog that will allow you to create regexp, choose color ...
You can also highlight the last searched word
You can have multiple highlights at the same time, choose colors and use regexp.
You can toggle all highlights on or off, or toggle only the highlights you want.
And there is also a panel to manage your highlights (it is the only way to remove only of them).
Scope :
Now the highlights have a scope. The default scope is PERMANENT. The new scopes are SESSION (this scope works
like permanent scope but will not be saved when closing jEdit. The last is the BUFFER scope. It will be activated only
in the buffer where it was created.
History
- 1.8.1 (Mar 5, 2010)
- Huge performance improvement in Highlight overview
- Highlighter now use CharSequence, it should have lower memory footprint and lower CPU usage
- Highlighter now highlight only in the first 10000 characters of a line for better performances
- 1.8.0 (Feb 2, 2010)
- If the highlight serialized data are broken the plugin will not be broken anymore
- New highlight overview next to the right scrollbar (Szalai Endre)
- Fix a bug when choosing an arbirary layer value
- The cycle color options were displayed twice
- 1.6.0 (Aug 25, 2009)
- New option to highlight the current selection that is under the caret
- 1.5.3 (Mar 24, 2009)
- Highlight regex can now match beginning or end of line using ^ and $ (Shlomy Reinstein)
- 1.5.2 (Jan 23, 2009)
- Fixed highlight update when some folds are closed
- 1.5.1 (Dec 06, 2008)
- Added the ability to choose the layer and alpha blending level (feature #1884608}
- Added a square around the highlighted text
- When softwrap was on, a the line below the highlighted word was highlighted too (#2383346)
- The color cycle was deactivated after jEdit restart (#1909405)
- 1.4.2 (May 14, 2007)
- Button for hypertext search added in the highlight panel, thanks to Martin Raspe
- The color cycling option was not loaded at plugin launch
- Some bugs using soft wrap fixed (#1595219)
- Fixed wrong painting when changing font size
- 1.4.1 (Jul 25, 2006)
- ArrayOutOfBoundsException fixed
- 1.3.4 (Jul 18, 2006)
- Change : Minor change in option pane design (use of separator).
- Bugfix : highlight current search will now take the ignore case flag of the last search.
- New regex api : removed gnu.regex.* dependency
- Textarea extension rewritten for better performances
- 1.3.2 (Jan 20, 2006)
- New feature : highlight status enabled or disabled are saved when closing jEdit.
- 1.3.1 (Oct 6, 2005)
- New feature : highlight current word.
- New feature : choice between color cycle or only one default color.
- New feature : option to replace previous highlights instead of adding them.
- Bugfix : the Highlighter text area extension is now correctly removed when a textarea is closed
- 1.3.0 (May 29, 2005)
- New feature : highlight scope.
- 1.2.1 (May 11, 2005)
- 1193535 bug fixed (wrong highlights with soft wrap)
- Small optimization on highlight saving and loading
- 1.2.0 (Mar 25, 2005)
- The highlights are now on top layer and have 50% transparency, so you can see them while selecting text.
- The plugin is now launched at startup so you do not have to open dockable panel to activate highlights loaded at startup.
- 1.1.0 (Feb 19, 2005)
- A dockable list of all your highlights
- A regexp support
- Case sensitive / insensitive choice
- You can now choose the color of the highlight
- There can be multiple highlights at the same time
- The highlight box is now on a back layer so the selection will be on top of the highlight
- Highlights are saved when jEdit is closed and restored when jEdit is launched
- bugfix : The painter extension wasn't corectly unloaded
- 1.0.1 (Dec 11, 2004)
- A menu added in the plugin menu
- A link to the help file
- 1.0.0 (Jul 25, 2004)
Feedback
Please report bugs to the bug jEdit's plugin tracker on sourceforge.net