treeView.addMouseListener(this);
PaintRefresher.Register(treeView, parentAvport.getSequenceSetId());
-
treeTabs.addChangeListener(new ChangeListener()
{
public void partitionTree(final int x)
{
Phylogeny tree = treeView.getPhylogeny();
+
if (!tree.isEmpty())
{
double treeDepth = tree.calculateHeight(true);
int panelHeight = treeView.getHeight();
g.drawLine(x, 0, x, panelHeight);
+ int viewWidth = treeView.getWidth();
+ float threshold = (float) x / (float) viewWidth;
- // int viewWidth = treeView.getWidth();
-
- // System.out.println("selection");
- // System.out.println(x);
- // System.out.println("-------------");
- // System.out.println("width");
- // System.out.println(viewWidth);
}
}