git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57d6a9e) | patch
REpainting after graph panel setVisible fixed
authoramwaterhouse <Andrew Waterhouse>
Wed, 15 Dec 2004 17:15:25 +0000 (17:15 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 15 Dec 2004 17:15:25 +0000 (17:15 +0000)
commitc36a5cbdcbb1c099320e1454c1038327efa04efa
tree90be9ba3b55b2f907613f65d2ff0a59307ad5c37tree | snapshot
parent57d6a9e73c82ce2663a56dde4e70d997198f9e12commit | diff
REpainting after graph panel setVisible fixed
src/jalview/gui/AlignmentPanel.java diff | blob | history