git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37502ea) | patch
Repaint scale panel after unselect all
authoramwaterhouse <Andrew Waterhouse>
Wed, 31 Aug 2005 16:54:30 +0000 (16:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 31 Aug 2005 16:54:30 +0000 (16:54 +0000)
commit6636e89537d7f51f4a71e616d3bb0f612097d050
treec94d1cf002ec5c2a6b072881f7b445ab8de844b2tree | snapshot
parent37502eaea952faeafb2bbf5aed3fcfc671de6326commit | diff
Repaint scale panel after unselect all
src/jalview/appletgui/AlignFrame.java diff | blob | history