tooltip
authoramwaterhouse <Andrew Waterhouse>
Thu, 9 Nov 2006 18:31:33 +0000 (18:31 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 9 Nov 2006 18:31:33 +0000 (18:31 +0000)
commit2d740577b9dda7b872d808e2419ca66e2ad0eb4b
tree689b07b775ad0c4cb1d6ae004e06f39165dc1270
parent84c69c8b17a65ea0fc0bc4a475773e23612f1c18
tooltip
src/jalview/jbgui/GAlignFrame.java