git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b72f1d) | patch
validate and repaint after changing panels
authoramwaterhouse <Andrew Waterhouse>
Wed, 4 May 2005 15:59:50 +0000 (15:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 4 May 2005 15:59:50 +0000 (15:59 +0000)
commit3f5dff2f5af6ec5cedca0652ddb1e56c1785f3bc
treea635314dc5db45cf0ea0951d0e360b9f3683c54btree | snapshot
parent4b72f1dbd30055271c89f3c44f291246fb3b4b69commit | diff
validate and repaint after changing panels
src/jalview/appletgui/AlignmentPanel.java diff | blob | history