X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=utils%2Fjalopy%2Fdocs%2Fplugin-jdev-integration.html;h=c5f70e91301c8ad7b5fa473acb22f2d8dbf49c54;hb=a45774ee31d9f35d4eff46d54d7deab719afb092;hp=7930ed182d29a892a7c80d11648acd55e322e7b4;hpb=67a30bbaa5190c0bd0b12e521e9465cc46214d56;p=jalview.git diff --git a/utils/jalopy/docs/plugin-jdev-integration.html b/utils/jalopy/docs/plugin-jdev-integration.html index 7930ed1..c5f70e9 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