view full id name optional
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:38:00 +0000 (10:38 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:38:00 +0000 (10:38 +0000)
commit66abe88d03e7d0a228f45eaab5739b207174b632
tree0ce72c86f083b8e93fcb305b53e5138a752c9dc1
parent3f578998521236c208e9d3c7790d4d5ac4da0a50
view full id name optional
src/jalview/gui/AlignFrame.java
src/jalview/gui/AlignViewport.java