git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1cbfff) | patch
Repaint annotations after edit
authoramwaterhouse <Andrew Waterhouse>
Tue, 30 Aug 2005 14:33:02 +0000 (14:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 30 Aug 2005 14:33:02 +0000 (14:33 +0000)
commitc4c63a44f658c697f670c3c0b091372a6a3a9cd6
tree972c2820ac70b09c29fdd5b8cdefee61e178c5f8tree | snapshot
parentc1cbfffa52f43d3b0dd74eca5e7d4e30af3b83dccommit | diff
Repaint annotations after edit
src/jalview/gui/AnnotationPanel.java diff | blob | history