git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a153c7) | patch
maintain slider values when click on a group
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:45:56 +0000 (18:45 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:45:56 +0000 (18:45 +0000)
commita53d1197abfc832020cefd499d3b08188d04bafb
tree0f20aeb3e5615d1a1709d8a2bec739f9e4e3e8aftree | snapshot
parent7a153c72e8f1f8ccad77452c64ab94fa774bd79acommit | diff
maintain slider values when click on a group
src/jalview/gui/Desktop.java diff | blob | history