git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ad0fe67
)
update annotation when group state is changed
author
jprocter
<Jim Procter>
Fri, 24 Jul 2009 15:26:54 +0000
(15:26 +0000)
committer
jprocter
<Jim Procter>
Fri, 24 Jul 2009 15:26:54 +0000
(15:26 +0000)
src/jalview/gui/PopupMenu.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/PopupMenu.java
b/src/jalview/gui/PopupMenu.java
index
1fb4a3b
..
d0cfc63
100755
(executable)
--- a/
src/jalview/gui/PopupMenu.java
+++ b/
src/jalview/gui/PopupMenu.java
@@
-940,6
+940,7
@@
public class PopupMenu extends JPopupMenu
*/
void refresh()
{
+ ap.updateAnnotation();
ap.paintAlignment(true);
PaintRefresher.Refresh(this, ap.av.getSequenceSetId());