Commit [6e1930]  Maximize  Restore  History

Updated to jEdit 5.0 api.

Alan Ezust Alan Ezust 2014-02-11

added docs
removed users-guide.xsl
changed BufferSelector.props
changed bufferselector
changed bufferselector/BufferSelector.java
changed bufferselector/BufferSelectorPlugin.java
changed build.xml
renamed (with changes) users-guide.xml -> docs/users-guide.xml
docs
Directory.
users-guide.xsl
File was removed.
BufferSelector.props Diff Switch to side-by-side view
Loading...
bufferselector
Directory.
bufferselector/BufferSelector.java Diff Switch to side-by-side view
Loading...
bufferselector/BufferSelectorPlugin.java Diff Switch to side-by-side view
Loading...
build.xml Diff Switch to side-by-side view
Loading...
users-guide.xml to docs/users-guide.xml Diff Switch to side-by-side view
Loading...