[jedit:plugin-central-submission] #1081 WhiteSpace 1.0.3
Alan Ezust via jEdit-devel <[email protected]> Wed, 08 May 2024 20:14:29 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-central-submission/1081/6ce60064ab542e9311e45526a9cbe2d87510bda7.plugin-central-submission@jedit.p.sourceforge.net> |
Actually, this seems to work on Linux but not for me on Windows, and I am not sure why. Does anyone else notice this? Perhaps we should hold off on releasing it until it works on Windows too.
---
**[plugin-central-submission:#1081] WhiteSpace 1.0.3**
**Status:** open
**Group:** None
**Created:** Tue May 07, 2024 03:04 AM UTC by Alan Ezust
**Last Updated:** Tue May 07, 2024 03:04 AM UTC
**Owner:** nobody
{{{ WhiteSpace 1.0.3
Source: Source code is in SVN with the tag WhiteSpace-1.0.3
Announcement:
A menu item for showing all whitespaces, patch #3483876 (jsot).
Updates for jEdit 5.7, and removal of deprecation warnings.
Requires Java 11
Requires jEdit 05.06.99.00
Short Description: The main feature of WhiteSpace is to highlight whitespaces
Long Description: The main feature of WhiteSpace is to highlight whitespaces
}}}
---
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