BasicGraphGui.java 文件源码

/**
 * This method initializes this
 */
private void initialize() {

    // --- Set appearance -----------------------------
    this.setVisible(true);
    this.setSize(300, 300);
    this.setLayout(new BorderLayout());
    this.setDoubleBuffered(true);

    // --- Add components -----------------------------
    this.add(this.getJPanelToolBars(), BorderLayout.WEST);
    this.add(this.getGraphZoomScrollPane(), BorderLayout.CENTER);

    this.addContainerListener(new ContainerAdapter() {
        boolean doneAdded = false;
        @Override
        public void componentAdded(ContainerEvent ce) {
            if (doneAdded==false) {
                validate();
                zoomSetInitialScalingAndMovement(getVisualizationViewer());
                doneAdded=true;
            }
        }
    });
}