JAL-2587 Progress bar sizing tweaks
authorkiramt <k.mourao@dundee.ac.uk>
Fri, 25 Aug 2017 08:41:25 +0000 (09:41 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Fri, 25 Aug 2017 08:41:25 +0000 (09:41 +0100)
commit62d2ca926e73609acc4c2a50676f2010c6e3e343
tree384ac0eccf787b08dfc24e421229291537a0fbdf
parent0c4b75bb2b3973218c9aa86f9bec19cd3dc5dcd5
JAL-2587 Progress bar sizing tweaks
src/jalview/gui/OverviewPanel.java
src/jalview/gui/ProgressPanel.java
src/jalview/renderer/OverviewRenderer.java