git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 838a66f) | patch
JAL-2034 don't refresh Overview for selection in id panel
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 3 Jul 2017 13:54:11 +0000 (14:54 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 3 Jul 2017 13:54:11 +0000 (14:54 +0100)
commit6b90cce63b09fca914a35d49a1b6883664e48a29
tree697c5dfd8d14b16393d892c09e5d185002b8a495tree | snapshot
parent838a66f363f856d499deb2eb5f05d78c2ea75f10commit | diff
JAL-2034 don't refresh Overview for selection in id panel
src/jalview/gui/IdPanel.java diff | blob | history