git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de966b2) | 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:05:38 +0000 (22:05 +0100)
commit032a68419354b6d486e97a1dbb8331d810567192
treecd1d33bb9d3ae01a58a3c98271e2423e943723a1tree | snapshot
parentde966b2fbe3109aaa9ef30cd731eb311f04efafacommit | diff
JAL-2587 makes sure idWidthAdjuster is resized when container panel’s preference changes
src/jalview/gui/AlignmentPanel.java diff | blob | history