Package diva.gui.toolbox

Examples of diva.gui.toolbox.JCanvasPanner$PanMouseListener


            // 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!
View Full Code Here


        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);
            }
        }
    }
View Full Code Here

TOP

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

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.