All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.alee.laf.tabbedpane.TabAreaLayout Maven / Gradle / Ivy

There is a newer version: 1.2.14
Show newest version
/*
 * This file is part of WebLookAndFeel library.
 *
 * WebLookAndFeel library is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * WebLookAndFeel library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with WebLookAndFeel library.  If not, see .
 */

package com.alee.laf.tabbedpane;

import com.alee.api.annotations.NotNull;
import com.alee.api.merge.Mergeable;
import com.alee.extended.layout.AbstractLayoutManager;
import com.alee.utils.MathUtils;
import com.alee.utils.SwingUtils;
import com.thoughtworks.xstream.annotations.XStreamAlias;

import javax.swing.*;
import java.awt.*;
import java.io.Serializable;

/**
 * Custom layout for {@link TabArea}.
 *
 * @author Mikle Garin
 */
@XStreamAlias ( "TabAreaLayout" )
public class TabAreaLayout extends AbstractLayoutManager implements Mergeable, Cloneable, Serializable
{
    @Override
    public void layoutContainer ( @NotNull final Container parent )
    {
        final TabArea tabArea = ( TabArea ) parent;
        final JTabbedPane tabbedPane = tabArea.getTabbedPane ();
        final int tabPlacement = tabbedPane.getTabPlacement ();
        final boolean horizontal = tabPlacement == JTabbedPane.TOP || tabPlacement == JTabbedPane.BOTTOM;
        final boolean ltr = tabbedPane.getComponentOrientation ().isLeftToRight ();

        // Looking for components
        // todo Replace with get(Class) in ContainerMethods
        TabViewport tabViewport = null;
        TabMenuButton tabMenuButton = null;
        for ( int i = 0; i < tabArea.getComponentCount (); i++ )
        {
            final Component component = tabArea.getComponent ( i );
            if ( component instanceof TabViewport )
            {
                tabViewport = ( TabViewport ) component;
            }
            else if ( component instanceof TabMenuButton )
            {
                tabMenuButton = ( TabMenuButton ) component;
            }
        }

        // Calculating initially available bounds
        final Insets insets = tabArea.getInsets ();
        final Rectangle available = SwingUtils.shrink (
                new Rectangle ( 0, 0, parent.getWidth (), parent.getHeight () ),
                insets
        );

        // Placing leading component
        final JComponent leading = WebTabbedPane.LEADING_TAB_AREA_COMPONENT_PROPERTY.get ( tabbedPane );
        if ( leading != null )
        {
            final Dimension lps = leading.getPreferredSize ();
            leading.setBounds (
                    horizontal ?
                            ltr ? available.x : available.x + available.width - lps.width :
                            available.x,
                    available.y,
                    horizontal ?
                            lps.width :
                            available.width,
                    horizontal ?
                            available.height :
                            lps.height
            );
            available.x += horizontal && ltr ? lps.width : 0;
            available.y += horizontal ? 0 : lps.height;
            available.width -= horizontal ? lps.width : 0;
            available.height -= horizontal ? 0 : lps.height;
        }

        // Placing trailing component
        final JComponent trailing = WebTabbedPane.TRAILING_TAB_AREA_COMPONENT_PROPERTY.get ( tabbedPane );
        if ( trailing != null )
        {
            final Dimension tps = trailing.getPreferredSize ();
            trailing.setBounds (
                    horizontal ?
                            ltr ? available.x + available.width - tps.width : available.x :
                            available.x,
                    horizontal ?
                            available.y :
                            available.y + available.height - tps.height,
                    horizontal ?
                            tps.width :
                            available.width,
                    horizontal ?
                            available.height :
                            tps.height
            );
            available.x += horizontal && !ltr ? tps.width : 0;
            available.width -= horizontal ? tps.width : 0;
            available.height -= horizontal ? 0 : tps.height;
        }

        // Placing TabMenuButton
        if ( tabMenuButton != null && tabMenuButton.isVisible () )
        {
            final Dimension mps = tabMenuButton.getPreferredSize ();
            tabMenuButton.setBounds (
                    horizontal ?
                            ltr ? available.x + available.width - mps.width : available.x :
                            available.x,
                    horizontal ?
                            available.y :
                            available.y + available.height - mps.height,
                    horizontal ?
                            mps.width :
                            available.width,
                    horizontal ?
                            available.height :
                            mps.height
            );
            available.x += horizontal && !ltr ? mps.width : 0;
            available.width -= horizontal ? mps.width : 0;
            available.height -= horizontal ? 0 : mps.height;
        }
        if ( tabViewport != null )
        {
            tabViewport.setBounds ( available );
        }
    }

    @NotNull
    @Override
    public Dimension preferredLayoutSize ( @NotNull final Container parent )
    {
        final TabArea tabArea = ( TabArea ) parent;
        final JTabbedPane tabbedPane = tabArea.getTabbedPane ();

        // Looking for components
        // todo Replace with get(Class) in ContainerMethods
        TabViewport tabViewport = null;
        TabMenuButton tabMenu = null;
        for ( int i = 0; i < tabArea.getComponentCount (); i++ )
        {
            final Component component = tabArea.getComponent ( i );
            if ( component instanceof TabViewport )
            {
                tabViewport = ( TabViewport ) component;
            }
            else if ( component instanceof TabMenuButton )
            {
                tabMenu = ( TabMenuButton ) component;
            }
        }

        // Preferred sizes
        final Dimension vps = tabViewport != null ? tabViewport.getPreferredSize () : new Dimension ( 0, 0 );
        final Dimension mps = tabMenu != null && tabMenu.isVisible () ? tabMenu.getPreferredSize () : new Dimension ( 0, 0 );

        // Leading and trailing component sizes
        final JComponent leading = WebTabbedPane.LEADING_TAB_AREA_COMPONENT_PROPERTY.get ( tabbedPane );
        final Dimension lps = leading != null ? leading.getPreferredSize () : new Dimension ( 0, 0 );
        final JComponent trailing = WebTabbedPane.TRAILING_TAB_AREA_COMPONENT_PROPERTY.get ( tabbedPane );
        final Dimension tps = trailing != null ? trailing.getPreferredSize () : new Dimension ( 0, 0 );

        // Resulting preferred size
        // Minimum length is either viewport preferred width or menu button 2x width to have some space left for tabs
        final Insets insets = tabArea.getInsets ();
        final int tabPlacement = tabbedPane.getTabPlacement ();
        final boolean horizontal = tabPlacement == JTabbedPane.TOP || tabPlacement == JTabbedPane.BOTTOM;
        return new Dimension (
                horizontal ?
                        insets.left + lps.width + Math.max ( vps.width, mps.width * 2 ) + tps.width + insets.right :
                        insets.left + MathUtils.max ( lps.width, vps.width, mps.width, tps.width ) + insets.right,
                horizontal ?
                        insets.top + MathUtils.max ( lps.height, vps.height, mps.height, tps.height ) + insets.bottom :
                        insets.top + lps.height + Math.max ( vps.height, mps.height * 2 ) + tps.height + insets.bottom
        );
    }

    /**
     * The UI resource version of {@link TabAreaLayout}.
     */
    @XStreamAlias ( "TabAreaLayout$UIResource" )
    public static final class UIResource extends TabAreaLayout implements javax.swing.plaf.UIResource
    {
        /**
         * Implementation is used completely from {@link TabAreaLayout}.
         */
    }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy