git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b4e92b) | patch
Remove unnecessary refresh
authoramwaterhouse <Andrew Waterhouse>
Fri, 3 Nov 2006 14:27:12 +0000 (14:27 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 3 Nov 2006 14:27:12 +0000 (14:27 +0000)
commit7c562dea24843c09b684eed45d0b71f7211166f0
tree4f3075d1244270988386bba24e3f2e70a75c029dtree | snapshot
parent8b4e92b5a422435311e2384f04b28f16b77206b6commit | diff
Remove unnecessary refresh
src/jalview/gui/PopupMenu.java diff | blob | history