Menu ▾ ▴

#962 HelpServer 0.1.1

None
closed-accepted
Townsfolk
None
5
2015-01-08
2014-11-10
Eric Le Lay
No

{{{ HelpServer 0.1.1
Source: Source code is in git (HelpServer repo) with the tag 0.1.1
Announcement: This is a new plugin. Please provide feedback... Try out the toc filter!
Requires Java 1.6
Requires jEdit 05.01.01.00

Short Description: HelpServer makes jEdit help available through http.

Long Description:

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.
}}}

Discussion

  • Eric Le Lay

    Eric Le Lay - 2014-12-08

    Never mind. I'll request a release when 0.1.1 is ready

     

  • Eric Le Lay

    Eric Le Lay - 2014-12-08
    • status: open --> pending
     

  • Eric Le Lay

    Eric Le Lay - 2015-01-03
    • summary: HelpServer 0.1.0 --> HelpServer 0.1.1
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1,5 +1,5 @@
-{{{ HelpServer 0.1.0
-    Source: Source code is in git (HelpServer repo) with the tag 0.1.0
+{{{ HelpServer 0.1.1
+    Source: Source code is in git (HelpServer repo) with the tag 0.1.1
     Announcement: This is a new plugin. Please provide feedback... Try out the toc filter!
     Requires Java 1.6
     Requires jEdit 05.01.01.00
    • status: pending --> open
     

  • Eric Le Lay

    Eric Le Lay - 2015-01-03

    Updating request for 0.1.1

     

  • Townsfolk

    Townsfolk - 2015-01-08
    • status: open --> closed-accepted
    • assigned_to: Townsfolk
     

  • Townsfolk

    Townsfolk - 2015-01-08

    Tested on jEdit 5.1 (final).

    PS. This is awesome! jEdit's help documentation has never looked so good!

     

Log in to post a comment.