gvSIG projects pool

package org.gvsig.coreplugin.mdiManager;

import javax.swing.*;

import java.awt.*;

import java.beans.*;

/*

 * Based on portions of code from  freesourcecode.net

 * http://freesourcecode.net/javaprojects/14214/MDI-Example-code#.VfQ9El0vDeQ

 */

/**

 * An extension of WDesktopPane that supports often used MDI functionality. This

 * class also handles setting scroll bars for when windows move too far to the

 * left or bottom, providing the MDIDesktopPane is in a ScrollPane.

 */

public class MDIDesktopPane extends JDesktopPane {

    private static int FRAME_OFFSET = 20;

    private MDIDesktopManager manager;

    public MDIDesktopPane() {

        manager = new MDIDesktopManager(this);

        setDesktopManager(manager);

        setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);

    }

    public void setBounds(int x, int y, int w, int h) {

        super.setBounds(x, y, w, h);

        checkDesktopSize();

    }

    public Component add(JInternalFrame frame) {

        JInternalFrame[] array = getAllFrames();

        Point p;

        int w;

        int h;

        Component retval = super.add(frame);

        checkDesktopSize();

        if (array.length > 0) {

            p = array[0].getLocation();

            p.x = p.x + FRAME_OFFSET;

            p.y = p.y + FRAME_OFFSET;

        } else {

            p = new Point(0, 0);

        }

        frame.setLocation(p.x, p.y);

        if (frame.isResizable()) {

            w = getWidth() - (getWidth() / 3);

            h = getHeight() - (getHeight() / 3);

            if (w < frame.getMinimumSize().getWidth()) {

                w = (int) frame.getMinimumSize().getWidth();

            }

            if (h < frame.getMinimumSize().getHeight()) {

                h = (int) frame.getMinimumSize().getHeight();

            }

            frame.setSize(w, h);

        }

        moveToFront(frame);

        frame.setVisible(true);

        try {

            frame.setSelected(true);

        } catch (PropertyVetoException e) {

            frame.toBack();

        }

        return retval;

    }

    public void remove(Component c) {

        super.remove(c);

        checkDesktopSize();

    }

    /**

     * Cascade all internal frames

     */

    public void cascadeFrames() {

        int x = 0;

        int y = 0;

        JInternalFrame allFrames[] = getAllFrames();

        manager.setNormalSize();

        int frameHeight = (getBounds().height - 5) - allFrames.length * FRAME_OFFSET;

        int frameWidth = (getBounds().width - 5) - allFrames.length * FRAME_OFFSET;

        for (int i = allFrames.length - 1; i >= 0; i--) {

            allFrames[i].setSize(frameWidth, frameHeight);

            allFrames[i].setLocation(x, y);

            x = x + FRAME_OFFSET;

            y = y + FRAME_OFFSET;

        }

    }

    /**

     * Tile all internal frames

     */

    public void tileFrames() {

        java.awt.Component allFrames[] = getAllFrames();

        manager.setNormalSize();

        int frameHeight = getBounds().height / allFrames.length;

        int y = 0;

        for (int i = 0; i < allFrames.length; i++) {

            allFrames[i].setSize(getBounds().width, frameHeight);

            allFrames[i].setLocation(0, y);

            y = y + frameHeight;

        }

    }

    /**

     * Sets all component size properties ( maximum, minimum, preferred) to the

     * given dimension.

     */

    public void setAllSize(Dimension d) {

        setMinimumSize(d);

        setMaximumSize(d);

        setPreferredSize(d);

    }

    /**

     * Sets all component size properties ( maximum, minimum, preferred) to the

     * given width and height.

     */

    public void setAllSize(int width, int height) {

        setAllSize(new Dimension(width, height));

    }

    private void checkDesktopSize() {

        if (getParent() != null && isVisible()) {

            manager.resizeDesktop();

        }

    }

}

/**

 * Private class used to replace the standard DesktopManager for JDesktopPane.

 * Used to provide scrollbar functionality.

 */

class MDIDesktopManager extends DefaultDesktopManager {

    private MDIDesktopPane desktop;

    public MDIDesktopManager(MDIDesktopPane desktop) {

        this.desktop = desktop;

    }

    public void endResizingFrame(JComponent f) {

        super.endResizingFrame(f);

        resizeDesktop();

    }

    public void endDraggingFrame(JComponent f) {

        super.endDraggingFrame(f);

        resizeDesktop();

    }

    public void setNormalSize() {

        JScrollPane scrollPane = getScrollPane();

        int x = 0;

        int y = 0;

        Insets scrollInsets = getScrollPaneInsets();

        if (scrollPane != null) {

            Dimension d = scrollPane.getVisibleRect().getSize();

            if (scrollPane.getBorder() != null) {

                d.setSize(d.getWidth() - scrollInsets.left - scrollInsets.right,

                        d.getHeight() - scrollInsets.top - scrollInsets.bottom);

            }

            d.setSize(d.getWidth() - 20, d.getHeight() - 20);

            desktop.setAllSize(x, y);

            scrollPane.invalidate();

            scrollPane.validate();

        }

    }

    private Insets getScrollPaneInsets() {

        JScrollPane scrollPane = getScrollPane();

        if (scrollPane == null) {

            return new Insets(0, 0, 0, 0);

        } else {

            return getScrollPane().getBorder().getBorderInsets(scrollPane);

        }

    }

    private JScrollPane getScrollPane() {

        if (desktop.getParent() instanceof JViewport) {

            JViewport viewPort = (JViewport) desktop.getParent();

            if (viewPort.getParent() instanceof JScrollPane) {

                return (JScrollPane) viewPort.getParent();

            }

        }

        return null;

    }

    protected void resizeDesktop() {

        int x = 0;

        int y = 0;

        JScrollPane scrollPane = getScrollPane();

        Insets scrollInsets = getScrollPaneInsets();

        if (scrollPane != null) {

            JInternalFrame allFrames[] = desktop.getAllFrames();

            for (int i = 0; i < allFrames.length; i++) {

                JInternalFrame frame = allFrames[i];

                // No tenemos en cuenta los frames maximizados para calcular el 

                // tama?o de la ventana.

                if (!frame.isMaximum()) { 

                    if (frame.getX() + frame.getWidth() > x) {

                        x = frame.getX() + frame.getWidth();

                    }

                    if (frame.getY() + frame.getHeight() > y) {

                        y = frame.getY() + frame.getHeight();

                    }

                }

            }

            Dimension d = scrollPane.getVisibleRect().getSize();

            if (scrollPane.getBorder() != null) {

                d.setSize(d.getWidth() - scrollInsets.left - scrollInsets.right,

                        d.getHeight() - scrollInsets.top - scrollInsets.bottom);

            }

            if (x <= d.getWidth()) {

                x = ((int) d.getWidth()) - 20;

            }

            if (y <= d.getHeight()) {

                y = ((int) d.getHeight()) - 20;

            }

            desktop.setAllSize(x, y);

            scrollPane.invalidate();

            scrollPane.validate();

        }

    }

}