git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11086c8) | patch
JAL-2511 invalidate scale panel holder on font change to update layout
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 7 Sep 2017 10:06:34 +0000 (11:06 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 7 Sep 2017 10:24:55 +0000 (11:24 +0100)
commit30c10f4abd4d2fc1009d34e2464b5f7545a2f194
treebda2c57dc09d8ebb8d1ddb727c1c58d97a277e14tree | snapshot
parent11086c8035ac6af140d3801305b6e3edbe2dc86dcommit | diff
JAL-2511 invalidate scale panel holder on font change to update layout
src/jalview/gui/AlignmentPanel.java diff | blob | history