jEdit LucenePlugin

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

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

Tree [3c50c7] master /

History

HTTPS git://

HTTPS access

File	Date	Author	Commit
docs	2015-07-06	Tim Blackler	[b6e7dc] Feature Request 321 - Upgrade to Lucene version...
src	2020-03-13	Matthieu Casanova	[3c50c7] rename variables, move methods
LucenePlugin.props	2015-09-16	Tim Blackler	[c91205] Feature Request 321 - Shortning the button text...
actions.xml	2015-04-20	Tim Blackler	[48a9a5] Plugin Feature request 321 - Replace existing D...
browser.actions.xml	2010-01-25	Matthieu Casanova	[d0fd08] index name suggestion
build.xml	2015-01-19	Matthieu Casanova	[e8072e] Indicate in status bar if the max results was r...
description.html	2009-05-19	Shlomy Reinstein	[2649a9] A very simplistic version (but working...) of a...
dockables.xml	2010-06-01	Alan Ezust	[28e7b2] Added a keylistener to the search field and the...
ivy.xml	2015-07-06	Tim Blackler	[b6e7dc] Feature Request 321 - Upgrade to Lucene version...
lang_de.properties	2016-02-14	Robert Schwenn	[e183be] German language update
lang_fr.properties	2015-09-16	Tim Blackler	[c91205] Feature Request 321 - Shortning the button text...
services.xml	2010-01-14	Alan Ezust	[3f74ed] Label changes only.