X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FTreePanel.java;h=3bb910807ca54f4ac22f8ff6d43574f0a1b6c3cc;hb=7b3241c464d774516c4295a5023f4aef7939298e;hp=c22a8e715c81871533924a0b570262d2f4e2f00b;hpb=ecf2b981352e4d5d798e39e8c4597757cd629514;p=jalview.git diff --git a/src/jalview/gui/TreePanel.java b/src/jalview/gui/TreePanel.java index c22a8e7..3bb9108 100755 --- a/src/jalview/gui/TreePanel.java +++ b/src/jalview/gui/TreePanel.java @@ -36,6 +36,7 @@ import java.io.*; import java.util.*; +import javax.swing.*; import javax.imageio.*; import java.beans.PropertyChangeEvent; @@ -91,7 +92,7 @@ public class TreePanel extends GTreePanel super(); initTreePanel(ap, type, pwtype, newtree, null); } - + public TreePanel(AlignmentPanel av, String type, String pwtype, @@ -116,6 +117,8 @@ public class TreePanel extends GTreePanel this.type = type; this.pwtype = pwtype; + buildAssociatedViewMenu(); + treeCanvas = new TreeCanvas(ap, scrollPane); scrollPane.setViewportView(treeCanvas); @@ -145,6 +148,52 @@ public class TreePanel extends GTreePanel } + void buildAssociatedViewMenu() + { + AlignmentPanel [] aps = PaintRefresher.getAssociatedPanels(av.getSequenceSetId()); + if(aps.length<2) + { + associateLeavesMenu.setVisible(false); + return; + } + associateLeavesMenu.addSeparator(); + + JRadioButtonMenuItem item; + ButtonGroup buttonGroup = new ButtonGroup(); + int i, iSize = aps.length; + for(i=0; i