Allowed for addition of OverviewPanel
authoramwaterhouse <Andrew Waterhouse>
Thu, 4 Nov 2004 17:55:51 +0000 (17:55 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 4 Nov 2004 17:55:51 +0000 (17:55 +0000)
commit0365a951ffb7cdab64e2f0872b4b719c910527ad
tree8331b9b8e287aee15ee58a4b3c636a68b82d7dbe
parenta9770d55354408173fddcf91fb90059c73497448
Allowed for addition of OverviewPanel
src/jalview/gui/AlignmentPanel.java