git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d355ad1) | patch
Update overview if features updated
authoramwaterhouse <Andrew Waterhouse>
Fri, 10 Feb 2006 16:05:27 +0000 (16:05 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 10 Feb 2006 16:05:27 +0000 (16:05 +0000)
commitd03971168d7f0192862cf5b57602ecf3e341b457
treee6a2ad182ad081d0be15f3bf15248c67ffbf0a08tree | snapshot
parentd355ad106f73e0de0abc3fb3f375af4eaf352591commit | diff
Update overview if features updated
src/jalview/gui/FeatureRenderer.java diff | blob | history
src/jalview/gui/FeatureSettings.java diff | blob | history
src/jalview/gui/OverviewPanel.java diff | blob | history