correct wrap alignment scrollbar size
authoramwaterhouse <Andrew Waterhouse>
Wed, 23 Mar 2005 11:57:06 +0000 (11:57 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 23 Mar 2005 11:57:06 +0000 (11:57 +0000)
commit46be82307a1be9c637e0f3e2a34631692731eeb7
tree898ee25e089ac1af7de2b6cf68292a0631d05d71
parentdc45c808a113b0d207ce9bfcb32034816e376cfc
correct wrap alignment scrollbar size
src/jalview/gui/AlignmentPanel.java