legendpanel.java

fortran并行计算包

/*
 *  (C) 2001 by Argonne National Laboratory
 *      See COPYRIGHT in top-level directory.
 */

/*
 *  @author  Anthony Chan
 */

package viewer.legends;

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.border.*;

import logformat.slog2.CategoryMap;
import logformat.slog2.input.InputLog;
import viewer.common.TopWindow;

public class LegendPanel extends JPanel
                         implements ActionListener
{
    private LegendTable  legend_table;

    private JButton      all_btn;
    private JButton      clear_btn;
    private JButton      close_btn;

    public LegendPanel( final InputLog  slog_ins )
    {
        super();
        super.setLayout( new BoxLayout( this, BoxLayout.Y_AXIS ) );

        Border  raised_border, lowered_border, empty_border, etched_border;
        raised_border  = BorderFactory.createRaisedBevelBorder();
        lowered_border = BorderFactory.createLoweredBevelBorder();
        empty_border   = BorderFactory.createEmptyBorder( 4, 4, 4 ,4 );
        etched_border  = BorderFactory.createEtchedBorder();

        legend_table  = new LegendTable( slog_ins.getCategoryMap() );
        JScrollPane scroller = new JScrollPane( legend_table,
                                   JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
                                   JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS );
        scroller.setBorder( BorderFactory.createCompoundBorder(
                            lowered_border, BorderFactory.createCompoundBorder(
                                            empty_border, etched_border ) ) );
        super.add( scroller );
 

        Border titled_border;

        JPanel  select_panel = new JPanel();
        select_panel.setLayout( new BoxLayout( select_panel,
                                               BoxLayout.X_AXIS ) );
            select_panel.add( Box.createHorizontalGlue() );

            all_btn = new JButton( "Select" );
            all_btn.setToolTipText( "Select all Legends" );
            // all_btn.setAlignmentX( Component.CENTER_ALIGNMENT );
            all_btn.addActionListener( this );
            select_panel.add( all_btn );

            select_panel.add( Box.createHorizontalGlue() );

            clear_btn = new JButton( "Deselect" );
            clear_btn.setToolTipText( "Deselect all Legends" );
            // clear_btn.setAlignmentX( Component.CENTER_ALIGNMENT );
            clear_btn.addActionListener( this );
            select_panel.add( clear_btn );

            select_panel.add( Box.createHorizontalGlue() );
        titled_border = BorderFactory.createTitledBorder(
                                      etched_border, " All " );
        select_panel.setBorder( titled_border );
        super.add( select_panel );

        JPanel  end_panel = new JPanel();
        end_panel.setLayout( new BoxLayout( end_panel, BoxLayout.X_AXIS ) );
            end_panel.add( Box.createHorizontalGlue() );

            close_btn = new JButton( "close" );
            close_btn.setToolTipText( "Hide this panel" );
            // close_btn.setAlignmentX( Component.CENTER_ALIGNMENT );
            close_btn.addActionListener( this );
            end_panel.add( close_btn );

            end_panel.add( Box.createHorizontalGlue() );
        super.add( end_panel );
    }

    public void actionPerformed( ActionEvent evt )
    {
        Object evt_src = evt.getSource();
     
        if ( evt_src == close_btn )
            TopWindow.Legend.setVisible( false );
        else if ( evt_src == all_btn )
            legend_table.selectAll();
        else if ( evt_src == clear_btn )
            legend_table.clearSelection();
    }
}