jEdit Community home jEdit Community Wiki > Plugins > JDocPlugin (r1.1 vs. r1.2) jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Plugins . { Changes | Index | Search | Go }
 <<O>>  Difference Topic JDocPlugin (r1.2 - 17 Aug 2003 - Brad Mace)
Changed:
<
<

JDoc Plugin

>
>

JDoc

Added:
>
>

%META:FIELD{name="PluginName" title="PluginName" value="JDoc"}%


 <<O>>  Difference Topic JDocPlugin (r1.1 - 16 Aug 2003 - Brad Mace)
Added:
>
>

%META:TOPICINFO{author="BradMace" date="1061011841" format="1.0" version="1.1"}% %META:TOPICPARENT{name="WebHome"}%

JDoc Plugin

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.

%META:FORM{name="PluginPageForm"}% %META:FIELD{name="Category" title="Category" value="JavaCentric"}% %META:FIELD{name="Maintainer" title="Maintainer" value="RobertSwarr"}% %META:FIELD{name="LatestVersion" title="LatestVersion" value="1.02"}% %META:FIELD{name="Released" title="Released" value="March 27, 2003"}% %META:FIELD{name="WhereToDownload" title="WhereToDownload" value="http://plugins.jedit.org/plugins/?JDocPlugin"}% %META:FIELD{name="Description" title="Description" value="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 . { View | Diffs | r1.2 | > | r1.1 | More }
Revision r1.1 - 16 Aug 2003 - 05:30 GMT - Brad Mace
Revision r1.2 - 17 Aug 2003 - 22:45 GMT - Brad Mace 		Copyright © 1999-2004 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.