[ jEdit-devel ] Plugin updates: BufferList, JCompiler

[<dmo...@gm...>]

Hi Slava, Mike,

I updated BufferList and JCompiler to jEdit 4.0.


BufferList: 0.7.1
tag: bufferlist_0_7_1
requires: jEdit 4.0pre1 or higher, CommonControls 0.2 or higher

- New option to disable "Close files on double click" (Lee Turner)
- New option to hide recent files window permanently (Lee Turner)
- Updated to new jEdit 4.0 API
- Using HelpfulJTable from CommonControls plugin
- Removed action "Bring BufferList to front", because it is obsolete now wi=
th
  the new jEdit 4.0 docking API


JCompiler: 1.4.0
tag: jcompiler_1_4_0
requires: jEdit 4.0pre1 or higher, ErrorList 1.2 or higher, Console 3.1 or =
higher

- updated to new jEdit 4.0 API and ErrorList 1.2 API
- modern compiler is now default on JDK's >=3D 1.3



JIndex and InfoViewer are next.


PS: Slava: No troubles so far with jEdit 4.0pre2. What a rock stable
feature-powered ultra-cool pre-series! Thanks!


Regards,
Dirk.