git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0f77bf) | patch
JAL-2511 invalidate scale panel holder on font change to update layout bug/JAL-2511idAlignment
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 7 Sep 2017 10:06:34 +0000 (11:06 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 7 Sep 2017 10:06:34 +0000 (11:06 +0100)
commit5d9994e09150d0a3e6c49cef59a5a9c242b16290
tree5f2a041fc7f5de740c36a0858604681c69fafbedtree | snapshot
parenta0f77bf8d0591dc3eebe4d64712d2495e719b35fcommit | diff
JAL-2511 invalidate scale panel holder on font change to update layout
src/jalview/gui/AlignmentPanel.java diff | blob | history