[jedit:plugin-central-submission] #1068 Highlight 2.5
Matthieu Casanova via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-central-submission/1068/0f7139426746660fd36f11b12c17a238e9c156af.plugin-central-submission@jedit.p.sourceforge.net> |
- Description has changed:
Diff:
~~~~
--- old
+++ new
@@ -4,7 +4,7 @@
Highlight overview is now multithreaded
Highlight overview is now disabled for files with over 200000 lines
Requires Java 11
- Requires jEdit 05.05.99.00
+ Requires jEdit 05.06.99.00
Short Description: Highlight is a visual plugin that will highlight words (or matched regexp) with different colors.
~~~~
---
** [plugin-central-submission:#1068] Highlight 2.5**
**Status:** open
**Group:** None
**Created:** Wed Apr 21, 2021 09:26 PM UTC by Matthieu Casanova
**Last Updated:** Sun Oct 17, 2021 01:22 PM UTC
**Owner:** Matthieu Casanova
{{{ Highlight 2.5
Source: https://github.com/kpouer/jEdit-plugin-Highlight.git tag 2.5
Announcement: Fix a memory leak where the memory was not completely released when a buffer was closed
Highlight overview is now multithreaded
Highlight overview is now disabled for files with over 200000 lines
Requires Java 11
Requires jEdit 05.06.99.00
Short Description: Highlight is a visual plugin that will highlight words (or matched regexp) with different colors.
Long Description: <html>
<p> Highlight is a visual plugin that will highlight
words (or matched regexps) with different colors in the text area.</p>
<p>Contains the option <b>highlight word at caret</b>, which some say should be a built-in feature of jEdit. There are many other options and actions that allow you to highlight specific things in different ways.
</p>
</html>
}}}
---
Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
--
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel