new class
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:39:36 +0000 (10:39 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:39:36 +0000 (10:39 +0000)
commitb0a355457f5bff7fa7d16233311c1b8649f1e0a1
treefe12390cd47230602b58b7783c8f0d20152f0ae1
parent185f40ac45106467bad7a58d1b0f6fd389f0d54c
new class
src/jalview/gui/IdwidthAdjuster.java [new file with mode: 0755]