Apple friendly
authoramwaterhouse <Andrew Waterhouse>
Wed, 8 Nov 2006 17:34:43 +0000 (17:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 8 Nov 2006 17:34:43 +0000 (17:34 +0000)
commit4a3f84f077dde7be327e3fa679cd58addc5f4ea3
tree118298513ef77004c510ebaf1f8ca26b32e35d46
parenteae13ea871b4080ba303c644e754ed141a704828
Apple friendly
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GDesktop.java