Eric Le Lay
2017-03-20 21:18:50 UTC
---
** [plugin-central-submission:#1026] HelpServer 1.0.0**
**Status:** open
**Group:** None
**Created:** Mon Mar 20, 2017 09:18 PM UTC by Eric Le Lay
**Last Updated:** Mon Mar 20, 2017 09:18 PM UTC
**Owner:** nobody
{{{ HelpServer 1.0.0
Source: Source code is in git with the tag 1.0.0
Announcement: This is a compatibility release for jEdit 5.4.0 and later
Requires Java 1.8
Requires jEdit 05.04.99.00
Short Description: HelpServer makes jEdit help available through http.
Long Description: <html>
<body>
<p>HelpServer makes the jEdit help contents (and plugins help) available via http.
This way, it can be accessed from the user's external web browser of choice. </p>
<p>The html ui requires a javascript-enabled browser.</p>
</body>
</html>
}}}
---
Sent from sourceforge.net because jedit-***@lists.sourceforge.net 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.
** [plugin-central-submission:#1026] HelpServer 1.0.0**
**Status:** open
**Group:** None
**Created:** Mon Mar 20, 2017 09:18 PM UTC by Eric Le Lay
**Last Updated:** Mon Mar 20, 2017 09:18 PM UTC
**Owner:** nobody
{{{ HelpServer 1.0.0
Source: Source code is in git with the tag 1.0.0
Announcement: This is a compatibility release for jEdit 5.4.0 and later
Requires Java 1.8
Requires jEdit 05.04.99.00
Short Description: HelpServer makes jEdit help available through http.
Long Description: <html>
<body>
<p>HelpServer makes the jEdit help contents (and plugins help) available via http.
This way, it can be accessed from the user's external web browser of choice. </p>
<p>The html ui requires a javascript-enabled browser.</p>
</body>
</html>
}}}
---
Sent from sourceforge.net because jedit-***@lists.sourceforge.net 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.