X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=utils%2Fjalopy%2Fdocs%2Fplugin-jdev-integration.html;h=906c6c3032d6a3c7dc484992fbaab9f62e359522;hb=c53aeee9a688f68d64106a968876e542f701fbc6;hp=62e881d00a389a5314ac057090aa096db49c30c2;hpb=6ab4ef1cc71ff9d28a21a139db69e4a8351a3fb5;p=jalview.git diff --git a/utils/jalopy/docs/plugin-jdev-integration.html b/utils/jalopy/docs/plugin-jdev-integration.html index 62e881d..906c6c3 100755 --- a/utils/jalopy/docs/plugin-jdev-integration.html +++ b/utils/jalopy/docs/plugin-jdev-integration.html @@ -16,3 +16,56 @@ * * You should have received a copy of the GNU General Public License along with Jalview. If not, see . --> + + + + 9.2. Integration + + +
Overview • + Download • + Documentation • + Plug-ins • + Links • + Contact
Features | + History | + Manual | + FAQ | + Javadoc
+ This page generated: June 8 2004

9.2. Integration

+Shows how the Plug-in is integrated into the JDeveloper IDE. +

9.2.1. Navigator context menu

+The software adds a new menu item into the context popup menu of the Navigator: +

  • +Format [Workspace|Project] +

    +By selecting the "Format" menu item, all Java sources of the +selected node are formatted according to the current Jalopy preferences. +

    +The item appears in the popup menu if the user clicks the right mouse button on +a Java source node or any other parent node that may contain Java sources +(such as Workspace, Project, Directory, EJB or BC4J nodes). +

9.2.2. Java editor context menu

+The software adds a new menu item into the context popup menu of Java code editors: +

  • +Format +

    +By selecting the "Format" menu item, the contents of the active code editor view +are formatted according to the current Jalopy preferences. +

9.2.3. Preferences dialog

+The Jalopy preferences are integrated into the preferences dialog of +JDeveloper 9i which is reachable through the +Tools->Preferences... +menu. +Each Jalopy preferences page is added as a subentry to the main Jalopy +preferences entry. +

+Jalopy preferences are stored in the $HOME/.jalopy directory. +This is in contrast to other JDeveloper preferences which are stored within the +IDE configuration files. It is intentional in order to allow reuse of Jalopy +preferences between different IDEs. Note that in this release, Jalopy +preferences are stored whenever the user leaves a page. If the user moves to +another settings page, all settings are stored to disk even if the user +chooses to cancel the preferences dialog later on. +

to top