Examples of diva.gui.toolbox.JCanvasPanner$PanMouseListener

diva.gui.toolbox.JCanvasPanner

A canvas panner is a window that provides a mechanism to visualize and manipulate a JCanvas object. Unlike the JPanner class, this class is only useful for a JCanvas. It has the advantage that it handles the infinite space metaphor of the canvas better than the JViewport, which implicitly assumes that a swing component represents a finite, predetermined area. This class contains a complete, scaled down rendition of all of the 'interesting things' contained in the canvas. The bounds of the visible portion of the canvas is visible on the panner as a red rectangle. Clicking or dragging within the JCanvasPanner centers the visible portion of the canvas at that point on the component, without zooming in or out. @author Steve Neuendorffer @version $Id: JCanvasPanner.java,v 1.21.4.1 2008/03/25 22:31:12 cxh Exp $

            // Ignore problems here.  Errors simply result in a default
            // size and location.
        }


        // Create the panner.
        _graphPanner = new JCanvasPanner(getJGraph());
        _graphPanner.setPreferredSize(new Dimension(200, 150));
        _graphPanner.setMaximumSize(new Dimension(200, 150));
        _graphPanner.setSize(200, 150);


        // NOTE: Border causes all kinds of problems!

        return entity instanceof FSMMatcher || entity instanceof FSMActor;
    }


    private void _showTab(int tabIndex) {
        Component tab = _tabbedPane.getComponent(tabIndex);
        JCanvasPanner panner = _frame._getGraphPanner();
        if (tab instanceof JGraph) {
            _frame.setJGraph((JGraph) tab);
            if (panner != null) {
                panner.setCanvas((JGraph) tab);
            }
        } else {
            if (panner != null) {
                panner.setCanvas(null);
            }
        }
    }

Examples of diva.gui.toolbox.JCanvasPanner$PanMouseListener

Related Classes of diva.gui.toolbox.JCanvasPanner$PanMouseListener