jedit HelpServer changes

fix [plugin-bugs:#1889] show index.html for URLs ending in /

Eric Le Lay — Sun, 01 Oct 2017 06:28:10 -0000

fix [plugin-bugs:#1889] show index.html for URLs ending in /
View Changes

Eric Le Lay — Sun, 01 Oct 2017 06:28:10 -0000

1.1.1 version bump
View Changes

Eric Le Lay — Sun, 18 Jun 2017 16:42:17 -0000

Silence warning on known missing resources
View Changes

Eric Le Lay — Sun, 18 Jun 2017 15:42:30 -0000

fix PB#1886 - Chrome compatibility
View Changes

Eric Le Lay — Mon, 20 Mar 2017 21:16:39 -0000

prepare for 1.0.0 release
View Changes

Eric Le Lay — Mon, 15 Aug 2016 15:47:19 -0000

serve LICENSE and README as text/plain
View Changes

Eric Le Lay — Sun, 14 Aug 2016 11:35:46 -0000

use the new API in jEdit 5.3.1 instead of reflection
View Changes

Eric Le Lay — Wed, 10 Aug 2016 10:49:53 -0000

plugin-feature-requests:#346 - right hand frame (toc link) in URL
View Changes

Alan Ezust — Sat, 07 Feb 2015 00:21:19 -0000

activate=startup seems to work better - sometimes the helpserver doesn't properly activate on the first invocation of help.
View Changes

Eric Le Lay — Sat, 03 Jan 2015 13:14:40 -0000

0.1.1 release date
View Changes