jEdit HelpServer

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Tree [d3e7e0] master /

History

HTTPS git://

HTTPS access

File	Date	Author	Commit
docs	2017-10-01	Eric Le Lay	[d3e7e0] fix [plugin-bugs:#1889] show index.html for URL...
js	2014-12-06	Eric Le Lay	[5286cb] IE8, IE9 compatibility
resources	2017-06-18	Eric Le Lay	[87b0c2] fix PB#1886 - Chrome compatibility
src	2017-10-01	Eric Le Lay	[d3e7e0] fix [plugin-bugs:#1889] show index.html for URL...
.gitaccess	2014-11-08	Alan Ezust	[ebaeaa] Adding .gitaccess
.gitignore	2014-12-06	Eric Le Lay	[5286cb] IE8, IE9 compatibility
.gitmodules	2014-12-06	Eric Le Lay	[5286cb] IE8, IE9 compatibility
HelpServer.props	2017-10-01	Eric Le Lay	[bc6fec] 1.1.1 version bump
actions.xml	2014-11-10	Eric Le Lay	[48d43f] HelpServerOptionPane to set the port
build.properties.sample	2014-11-08	Eric Le Lay	[7edf04] sample build.properties
build.xml	2014-12-06	Eric Le Lay	[5286cb] IE8, IE9 compatibility
description.html	2014-11-09	Alan Ezust	[97ce97] Removed plugin menu. Documented how it works now.
lang_fr.properties	2016-08-10	Eric Le Lay	[5637e8] plugin-feature-requests:#346 - right hand frame...