Java Code Examples for com.jidesoft.swing.JideSplitPane#setMinimumSize()

The following examples show how to use com.jidesoft.swing.JideSplitPane#setMinimumSize() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: CDataNodeComponent.java    From binnavi with Apache License 2.0 6 votes vote down vote up
/**
 * Creates a new data node component.
 * 
 * @param module Module whose data is shown in the component.
 * @param originContainer
 */
public CDataNodeComponent(final INaviModule module, final IViewContainer originContainer) {
  super(new BorderLayout());

  Preconditions.checkNotNull(module, "IE01960: Module argument can not be null");

  final JideSplitPane splitPane = new JideSplitPane(JideSplitPane.VERTICAL_SPLIT);

  splitPane.setDoubleBuffered(true);
  splitPane.setOneTouchExpandable(true);
  splitPane.setMinimumSize(new Dimension(0, 0));
  splitPane.setProportionalLayout(true);
  splitPane.setInitiallyEven(true);

  final JPanel panel = new JPanel(new BorderLayout());
  dataSectionComponent = new DataSectionComponent(module, originContainer);
  panel.add(dataSectionComponent);

  final JTabbedPane pane = new JTabbedPane();
  pane.addTab("Navigation", new CNavigationPanel(dataSectionComponent.getHexView()));

  splitPane.addPane(panel);
  splitPane.addPane(pane);
  add(splitPane);
}
 
Example 2
Source File: CGraphPanel.java    From binnavi with Apache License 2.0 4 votes vote down vote up
/**
 * Sets up all the splitters and other minor GUI elements of the graph panel.
 */
private void createGui() {
  m_graphSplitter = new JideSplitPane() {
    private static final long serialVersionUID = -4363828908016863289L;

    // 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.
    }
  };

  m_graphSplitter.setOrientation(JideSplitPane.VERTICAL_SPLIT);

  m_graphSplitter.addPane(m_centerPanel);
  m_graphSplitter.addPane(m_bottomPanel);

  m_graphTaggingSplitter = new JideSplitPane() {
    private static final long serialVersionUID = -9037540212052390552L;

    // 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.
    }
  };

  m_graphTaggingSplitter.setOrientation(JideSplitPane.HORIZONTAL_SPLIT);
  m_graphTaggingSplitter.addPane(m_leftPanel);
  m_graphTaggingSplitter.addPane(m_graphSplitter);
  m_graphTaggingSplitter.addPane(m_rightPanel);

  m_graphTaggingSplitter.setDoubleBuffered(true);
  m_graphTaggingSplitter.setOneTouchExpandable(true);
  m_graphTaggingSplitter.setMinimumSize(new Dimension(0, 0));

  m_graphSplitter.setDoubleBuffered(true);
  m_graphSplitter.setOneTouchExpandable(true);
  m_graphSplitter.setMinimumSize(new Dimension(0, 0));

  add(m_graphTaggingSplitter);

  add(m_toolBar, BorderLayout.NORTH);
}