|
|
|||||
| ProjectOptions | |
|---|---|
| Description: | The Project Options plugin provides an interface for defining standard jEdit options on a per-project basis, allowing, for example, regular edit options to change for different projects. |
| Author: | Marcelo Vanzin |
| Category: | Project Management |
| Version: | 0.1.0 |
| Requirements: | JDK >= 1.5 · jEdit between 4.3pre9 and 4.4pre1 · CommonControls >= 0.9.4 · ProjectViewer between 2.1.3.5 and 2.9.4 |
| Binary Download: |
ProjectOptions-0.1.0-bin.tgz ProjectOptions-0.1.0-bin.zip |
| Complete Download: |
ProjectOptions-0.1.0.tgz ProjectOptions-0.1.0.zip |
| Release Date: | March 24, 2007 |
