Initial size of overview
authoramwaterhouse <Andrew Waterhouse>
Tue, 16 Nov 2004 15:18:05 +0000 (15:18 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 16 Nov 2004 15:18:05 +0000 (15:18 +0000)
commit53aef9241f5ae2a3af8c43c508c26fc7f9e05be0
tree21ff1d665e0e0e27e22aa9c46c064c3a03578e40
parent491ef50a485fbff6e610c0cd138e5cf89538aa3d
Initial size of overview
src/jalview/gui/OverviewPanel.java