Java JideSplitPane.setDividerSize方法代码示例

import com.jidesoft.swing.JideSplitPane; //导入方法依赖的package包/类
/**
 * Creates a new combined memory panel object.
 *
 * @param parent Parent window of the panel.
 * @param debugPerspectiveModel Describes the active debugger GUI options.
 */
public CCombinedMemoryPanel(
    final JFrame parent, final CDebugPerspectiveModel debugPerspectiveModel) {
  super(new BorderLayout());

  Preconditions.checkNotNull(parent, "IE01361: Parent argument can not be null");
  m_debugPerspectiveModel = Preconditions.checkNotNull(
      debugPerspectiveModel, "IE01362: Debug perspective model argument can not be null");

  m_debugPerspectiveModel.addListener(m_internalListener);

  final JideSplitPane pane = new JideSplitPane(JideSplitPane.HORIZONTAL_SPLIT) {
    private static final long serialVersionUID = -1326165812499630343L;

    // ESCA-JAVA0025: Workaround for Case 1168
    @Override
    public void updateUI() {
      // Workaround for Case 1168: The mere presence of a JIDE component
      // screws up the look and feel.
    }
  };

  pane.setDividerSize(3); // ATTENTION: Part of the Case 1168 workaround
  pane.setProportionalLayout(true);

  final CMemoryRefreshButtonPanel refreshPanel = new CMemoryRefreshButtonPanel(
      parent, debugPerspectiveModel, new InternalRangeProvider(),
      new InternalStackRangeProvider());

  m_memorySelectionPanel = new CMemorySelectionPanel(parent, debugPerspectiveModel, refreshPanel);

  // Create the GUI
  pane.addPane(m_memorySelectionPanel);

  m_stackPanel = new CStackView(debugPerspectiveModel);
  pane.addPane(m_stackPanel);

  add(pane);
}
 

import com.jidesoft.swing.JideSplitPane; //导入方法依赖的package包/类
private void init()
{
    setLayout(new MigLayout("insets 0 0 0 0",
        "[grow,fill]",
        "[grow,fill]"));

    //System Configuration View and Editor
    mAliasTable = new JTable(mAliasModel);
    mAliasTable.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
    mAliasTable.getSelectionModel().addListSelectionListener(this);
    mAliasTable.setAutoCreateRowSorter(true);

    mAliasTable.getColumnModel().getColumn(AliasModel.COLUMN_COLOR)
        .setCellRenderer(new ColorCellRenderer());

    mAliasTable.getColumnModel().getColumn(AliasModel.COLUMN_ICON)
        .setCellRenderer(mIconCellRenderer);

    mTableFilterHeader = new TableFilterHeader(mAliasTable, AutoChoices.ENABLED);
    mTableFilterHeader.setFilterOnUpdates(true);

    JScrollPane tableScroller = new JScrollPane(mAliasTable);

    JPanel buttonsPanel = new JPanel();

    buttonsPanel.setLayout(
        new MigLayout("insets 0 0 0 0", "[grow,fill][grow,fill][grow,fill]", "[]"));

    mNewButton.addActionListener(this);
    mNewButton.setToolTipText("Adds a new alias");
    buttonsPanel.add(mNewButton);

    mCopyButton.addActionListener(this);
    mCopyButton.setEnabled(false);
    mCopyButton.setToolTipText("Creates a copy of the currently selected alias and adds it");
    buttonsPanel.add(mCopyButton);

    mDeleteButton.addActionListener(this);
    mDeleteButton.setEnabled(false);
    mDeleteButton.setToolTipText("Deletes the currently selected alias");
    buttonsPanel.add(mDeleteButton);

    JPanel listAndButtonsPanel = new JPanel();

    listAndButtonsPanel.setLayout(
        new MigLayout("insets 0 0 0 0", "[grow,fill]", "[grow,fill][]"));

    listAndButtonsPanel.add(tableScroller, "wrap");
    listAndButtonsPanel.add(buttonsPanel);

    mSplitPane = new JideSplitPane(JideSplitPane.HORIZONTAL_SPLIT);
    mSplitPane.setDividerSize(5);
    mSplitPane.setShowGripper(true);
    mSplitPane.add(listAndButtonsPanel);
    mSplitPane.add(mAliasEditor);

    add(mSplitPane);
}
 

import com.jidesoft.swing.JideSplitPane; //导入方法依赖的package包/类
private void init()
{
   	setLayout( new MigLayout( "", "[grow,fill]", "[grow,fill]") );

	//System Configuration View and Editor
   	mChannelTable = new JTable( mChannelModel );
   	mChannelTable.setDefaultRenderer( String.class, new ChannelTableCellRenderer() );
   	mChannelTable.setSelectionMode( ListSelectionModel.SINGLE_SELECTION );
   	mChannelTable.getSelectionModel().addListSelectionListener( this );
   	mChannelTable.setAutoCreateRowSorter( true );
   	
   	mTableFilterHeader = new TableFilterHeader( mChannelTable, AutoChoices.ENABLED );
   	mTableFilterHeader.setFilterOnUpdates( true );
   	
   	JScrollPane channelScroller = new JScrollPane( mChannelTable );

   	JPanel buttonsPanel = new JPanel();
   	
   	buttonsPanel.setLayout( 
		new MigLayout( "insets 0 0 0 0", "[grow,fill][grow,fill][grow,fill]", "[]") );

   	mNewChannelButton.addActionListener( this );
   	mNewChannelButton.setToolTipText( "Create a new channel configuration" );
   	buttonsPanel.add( mNewChannelButton );
   	
   	mCopyChannelButton.addActionListener( this );
   	mCopyChannelButton.setEnabled( false );
   	mCopyChannelButton.setToolTipText( "Create a copy of the currently selected channel configuration" );
   	buttonsPanel.add( mCopyChannelButton );

   	mDeleteChannelButton.addActionListener( this );
   	mDeleteChannelButton.setEnabled( false );
   	mDeleteChannelButton.setToolTipText( "Delete the currently selected channel configuration" );
   	buttonsPanel.add( mDeleteChannelButton );
   	
   	JPanel listAndButtonsPanel = new JPanel();

   	listAndButtonsPanel.setLayout( 
		new MigLayout( "insets 0 0 0 0", "[grow,fill]", "[grow,fill][]") );

   	listAndButtonsPanel.add( channelScroller, "wrap" );
   	listAndButtonsPanel.add( buttonsPanel );
	
	JideSplitPane splitPane = new JideSplitPane( JideSplitPane.VERTICAL_SPLIT );
	splitPane.setDividerSize( 5 );
	splitPane.setShowGripper( true );

	//Shrink this guy so that he'll eventually be expanded to the scroller preferred size
	listAndButtonsPanel.setPreferredSize( new Dimension( 10, 10 ) );

	//Attempt to get a 60:40 vertical sizing preference
	JScrollPane listScroller = new JScrollPane( listAndButtonsPanel );
	listScroller.setPreferredSize( new Dimension( 800, 58 ) );
	
	JScrollPane editorScroller = new JScrollPane( mEditor );
	editorScroller.setPreferredSize( new Dimension( 800, 42 ) );

	splitPane.add( listScroller );
	splitPane.add( editorScroller );

	add( splitPane );
}
 

import com.jidesoft.swing.JideSplitPane; //导入方法依赖的package包/类
private void init()
{
    setLayout(new MigLayout("insets 0 0 0 0", "[grow]", "[grow]"));

    /**
     * The layered pane holds the overlapping spectrum and channel panels
     * and manages the sizing of each panel with the resize listener
     */
    mLayeredPanel = new JLayeredPane();
    mLayeredPanel.addComponentListener(new ResizeListener());

    /**
     * Create a mouse adapter to handle mouse events over the spectrum
     * and waterfall panels
     */
    MouseEventProcessor mouser = new MouseEventProcessor();

    mOverlayPanel.addMouseListener(mouser);
    mOverlayPanel.addMouseMotionListener(mouser);
    mOverlayPanel.addMouseWheelListener(mouser);

    //Add the spectrum and channel panels to the layered panel
    mLayeredPanel.add(mSpectrumPanel, new Integer(0), 0);
    mLayeredPanel.add(mOverlayPanel, new Integer(1), 0);

    //Create the waterfall
    mWaterfallPanel.addMouseListener(mouser);
    mWaterfallPanel.addMouseMotionListener(mouser);
    mWaterfallPanel.addMouseWheelListener(mouser);

	/* Attempt to set a 50/50 split preferred size for the split pane */
    double totalHeight = mLayeredPanel.getPreferredSize().getHeight() +
        mWaterfallPanel.getPreferredSize().getHeight();

    mLayeredPanel.setPreferredSize(new Dimension((int) mLayeredPanel
        .getPreferredSize().getWidth(), (int) (totalHeight / 2.0d)));

    mWaterfallPanel.setPreferredSize(new Dimension((int) mWaterfallPanel
        .getPreferredSize().getWidth(), (int) (totalHeight / 2.0d)));

    //Create the split pane to hold the layered pane and the waterfall
    JideSplitPane splitPane = new JideSplitPane(JSplitPane.VERTICAL_SPLIT);
    splitPane.setDividerSize(5);
    splitPane.add(mLayeredPanel);
    splitPane.add(mWaterfallPanel);

    mScrollPane = new JScrollPane(splitPane);

    add(mScrollPane, "grow");

    /**
     * Setup DFTProcessor to process samples and register the waterfall and
     * spectrum panel to receive the processed dft results
     */
    mDFTProcessor = new DFTProcessor(SampleType.COMPLEX);
    mDFTConverter = new ComplexDecibelConverter();
    mDFTProcessor.addConverter(mDFTConverter);

    mDFTConverter.addListener((DFTResultsListener) mSpectrumPanel);
    mDFTConverter.addListener((DFTResultsListener) mWaterfallPanel);
}
 

import com.jidesoft.swing.JideSplitPane; //导入方法依赖的package包/类
private void init()
{
    setLayout(new MigLayout("insets 0 0 0 0 ", "[grow,fill]", "[grow,fill]"));

    mBroadcastStatusPanel = new BroadcastStatusPanel(mBroadcastModel);

    mBroadcastStatusPanel.getTable().setAutoCreateRowSorter(true);
    mBroadcastStatusPanel.getTable().setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
    mBroadcastStatusPanel.getTable().getSelectionModel().addListSelectionListener(BroadcastPanel.this);

    JPanel buttonsPanel = new JPanel();
    buttonsPanel.setLayout(new MigLayout("insets 0 0 0 0", "[grow,fill][grow,fill][grow,fill]", "[]"));

    mNewButton = new JButton("New ...");
    mNewButton.setToolTipText("Create a new broadcast audio configuration");
    mNewButton.addMouseListener(new MouseAdapter()
    {
        @Override
        public void mouseClicked(MouseEvent e)
        {
            JPopupMenu menu = new JPopupMenu();

            menu.add(new AddBroadcastConfigurationItem(BroadcastServerType.BROADCASTIFY));
            menu.add(new AddBroadcastConfigurationItem(BroadcastServerType.ICECAST_TCP));
            menu.add(new AddBroadcastConfigurationItem(BroadcastServerType.ICECAST_HTTP));
            menu.add(new AddBroadcastConfigurationItem(BroadcastServerType.SHOUTCAST_V1));
            menu.add(new AddBroadcastConfigurationItem(BroadcastServerType.SHOUTCAST_V2));

            menu.show(e.getComponent(), e.getX(), e.getY());
        }
    });

    buttonsPanel.add(mNewButton);

    mCopyButton.addActionListener(this);
    mCopyButton.setEnabled(false);
    mCopyButton.setToolTipText("Creates a copy of the currently selected streaming configuration and adds it");
    buttonsPanel.add(mCopyButton);

    mDeleteButton.addActionListener(this);
    mDeleteButton.setEnabled(false);
    mDeleteButton.setToolTipText("Deletes the currently selected streaming configuration");
    buttonsPanel.add(mDeleteButton);

    JPanel listAndButtonsPanel = new JPanel();

    listAndButtonsPanel.setLayout(new MigLayout("insets 0 0 0 0", "[grow,fill]", "[grow,fill][]"));

    listAndButtonsPanel.add(mBroadcastStatusPanel, "wrap");
    listAndButtonsPanel.add(buttonsPanel);

    mSplitPane = new JideSplitPane(JideSplitPane.HORIZONTAL_SPLIT);
    mSplitPane.setDividerSize(5);
    mSplitPane.setShowGripper(true);
    mSplitPane.add(listAndButtonsPanel);

    mSplitPane.add(mEditor);

    add(mSplitPane);
}