Hscrollbar is shortened
authoramwaterhouse <Andrew Waterhouse>
Fri, 14 Jan 2005 15:46:04 +0000 (15:46 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 14 Jan 2005 15:46:04 +0000 (15:46 +0000)
commit37338093a788f14febea42a9d45d214b2efd40c8
tree782fd3148bf39dd7516a1b8652467465791eaf57
parent47984e1d3e480c5c8099aeb9481c87936ae12eb4
Hscrollbar is shortened
src/jalview/jbgui/GAlignmentPanel.java