git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a15dbb) | patch
RefreshPanels after a colour change
authoramwaterhouse <Andrew Waterhouse>
Mon, 17 Jan 2005 16:12:06 +0000 (16:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 17 Jan 2005 16:12:06 +0000 (16:12 +0000)
commit44d9bd9b511490baec5302be3b7756be0adebde3
treeaee986b460982cdb7787107821a7bfc2039aca78tree | snapshot
parent2a15dbb3db1c89edd6bbc0d1ddf80863feb2203fcommit | diff
RefreshPanels after a colour change
src/jalview/gui/AlignmentPanel.java diff | blob | history