}
+ @Override
+ public void setMaximumSize(Dimension maximumSize)
+ {
+ aptxFrame.setMaximumSize(maximumSize);
+
+ }
+
+ @Override
+ public void setPreferredSize(Dimension preferredSize)
+ {
+ aptxFrame.setPreferredSize(preferredSize);
+
+ }
}
\ No newline at end of file
import jalview.ext.treeviewer.TreePanelI;
import jalview.gui.PaintRefresher;
+import java.awt.Dimension;
import java.awt.Event;
import java.awt.Font;
import java.awt.Graphics2D;
{
return treeView.getThreshold();
}
+
+ @Override
+ public void setMinimumSize(Dimension minimumSize)
+ {
+ treeView.setMinimumSize(minimumSize);
+
+ }
+
+ @Override
+ public void setMaximumSize(Dimension maximumSize)
+ {
+ treeView.setMaximumSize(maximumSize);
+
+ }
+
+ @Override
+ public void setPreferredSize(Dimension preferredSize)
+ {
+ treeView.setPreferredSize(preferredSize);
+
+ }
}
public void repaint();
- public void setMinimumSize(Dimension dimension);
-
public boolean isShowing();
public Container getTopLevelAncestor();
public void setViewBinding(TreeViewerBindingI alignmentBinding);
+ public void setMinimumSize(Dimension minimumSize);
+
+ public void setMaximumSize(Dimension maximumSize);
+
+ public void setPreferredSize(Dimension preferredSize);
+
}
package jalview.ext.treeviewer;
+import java.awt.Dimension;
import java.awt.Graphics2D;
import java.awt.MenuContainer;
import java.awt.Rectangle;
public abstract Rectangle getVisibleArea();
+ public void setMinimumSize(Dimension minimumSize);
+
+ public void setMaximumSize(Dimension maximumSize);
+
+ public void setPreferredSize(Dimension preferredSize);
+
}
activeViews.put(treeFrame, treeFrame.getViewBinding());
treeFrame.addFrameToJalview(frameTitle, true, width, height, true,
- true);
+ false);
return treeFrame;
}