[ jEdit-devel ] [jedit:plugin-central-submission] #1026 HelpServer 1.0.0

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[ jEdit-devel ] [jedit:plugin-central-submission] #1026 HelpServer 1.0.0

Eric Le Lay-2

[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>

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.


The html ui requires a javascript-enabled browser.


</body>
</html>
}}}


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|

[ jEdit-devel ] [jedit:plugin-central-submission] #1026 HelpServer 1.0.0

Townsfolk
  • status: open --> closed-accepted
  • assigned_to: Townsfolk

[plugin-central-submission:#1026] HelpServer 1.0.0

Status: closed-accepted
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: Townsfolk

{{{ 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>

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.


The html ui requires a javascript-enabled browser.


</body>
</html>
}}}


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel