git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c61dd8) | patch
JAL-2587 makes sure idWidthAdjuster is resized when container panel’s preference...
authorJim Procter <jprocter@issues.jalview.org>
Wed, 6 Sep 2017 21:03:40 +0000 (22:03 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 6 Sep 2017 21:03:40 +0000 (22:03 +0100)
commit11086c8035ac6af140d3801305b6e3edbe2dc86d
tree70fe8d47a291409cf6b88fcfa106a58a707c0ff8tree | snapshot
parent1c61dd81d8929f0e364fd534924ea7728d3ebc7bcommit | diff
JAL-2587 makes sure idWidthAdjuster is resized when container panel’s preference changes
src/jalview/gui/AlignmentPanel.java diff | blob | history