Enable PID menuitem
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Dec 2004 17:35:27 +0000 (17:35 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Dec 2004 17:35:27 +0000 (17:35 +0000)
commit692329a18017d315e6b21f8049d846fc0bbacffe
treef41446e4583ae3540f2a0f0458f45256ae1a1e39
parent1032f8a608bb97dd7817390aa56293dba3fe3806
Enable PID menuitem
src/jalview/jbgui/GAlignFrame.java