fullid is optional
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:40:36 +0000 (10:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:40:36 +0000 (10:40 +0000)
commit89314f769c25209c3118135502268ac08759e762
tree643215084409f5ee765cc94f889af5a4e78390d9
parent1f1e0597991c794dbc9aeccdf574ce9d3bef2360
fullid is optional
src/jalview/jbgui/GAlignFrame.java