JAL-3285 method call name change in OverviewPanel not included during
authortva <tva@10.205.251.175>
Wed, 5 Jun 2019 13:07:47 +0000 (14:07 +0100)
committertva <tva@10.205.251.175>
Wed, 5 Jun 2019 13:07:47 +0000 (14:07 +0100)
commit805bdbeb5fab421525bdccdb43d6e3b0fdc6e6eb
tree6c0c1c7adfc569cacad4c1e9e1f8a40e58961a33
parent07b27b8316d1de83c99a27deb4e3007bc0abd25c
JAL-3285 method call name change in OverviewPanel not included during
merge
src/jalview/appletgui/OverviewPanel.java