Parents: Web Home
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
| Plugin Page Form | |
|---|---|
| Plugin Name?: | JDoc |
| Category: | Java Centric |
| Maintainer: | Robert Swarr? |
| Latest Version?: | 1.02 |
| Released: | March 27, 2003 |
| Where To Download: | http://plugins.jedit.org/plugins/?JDocPlugin |
| Description: | The JDoc Plugin provides configuration and persistance of Javadoc command line arguments and execution of the utility within jEdit. Command line arguments are configured through either the Utilities->Global Options->Plugin Options->Javaodc menu selection or a Plugins->Javadoc->Javadoc Options menu selection. The configured command line arguments are persisted in a property file. The Javadoc utility can be executed with a Plugins->Javadoc->Execute Javadoc menu item. The JDoc Plugin facilitates development of Javadoc by allowing the programmer to generate Javadoc while editing the source files and writing comments. |
| Topic JDocPlugin . { Edit | Attach | Ref-By | Printable | Diffs | r1.2 | > | r1.1 | More } |
|
Revision r1.2 - 17 Aug 2003 - 22:45 GMT - Brad Mace Parents: Web Home |
Copyright © 1999-2011 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding jEdit Community Wiki? Send feedback. |