X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=utils%2Fjalopy%2Fdocs%2Fplugin-jdev-integration.html;h=f8290d664e0064fcdf64a90762f459932e0bb35b;hb=d423f22792e47dbc800ae220a58677f988971d06;hp=7930ed182d29a892a7c80d11648acd55e322e7b4;hpb=797d4400e51c5786c080d7d746d5968589b5dc78;p=jalview.git diff --git a/utils/jalopy/docs/plugin-jdev-integration.html b/utils/jalopy/docs/plugin-jdev-integration.html index 7930ed1..f8290d6 100755 --- a/utils/jalopy/docs/plugin-jdev-integration.html +++ b/utils/jalopy/docs/plugin-jdev-integration.html @@ -1,4 +1,21 @@ + @@ -51,4 +68,4 @@ 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
- Copyright © 2001-2004, Marco Hunsicker. All rights reserved. Hosted by SourceForge.net \ No newline at end of file + Copyright © 2001-2004, Marco Hunsicker. All rights reserved. Hosted by SourceForge.net