JAL-2587 Adjusting height for progress bar
authorkiramt <k.mourao@dundee.ac.uk>
Wed, 9 Aug 2017 11:14:57 +0000 (12:14 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Wed, 9 Aug 2017 11:14:57 +0000 (12:14 +0100)
commitcfa90577b4ddcb2e163a9bac0b2786d45de57933
tree5719f2530be3d5ebf49e19498b720d1d8f6c655f
parent0c49a8319653fac1ae25e8d5bb99b2917f8e9975
JAL-2587 Adjusting height for progress bar
src/jalview/gui/OverviewCanvas.java
src/jalview/gui/OverviewPanel.java