private void init(Window window, JComponent leftComponent, JComponent rightComponent) { this.window = window; window.addComponentListener(this); BasicSplitPaneDivider divider = getDividerComponent(); divider.addComponentListener(this); divider.addMouseListener(this); // Set null minimum size for both components so that divider can be moved all the way left/up and right/down Dimension nullDimension = new Dimension(0,0); if(leftComponent!=null) leftComponent.setMinimumSize(nullDimension); if(rightComponent!=null) rightComponent.setMinimumSize(nullDimension); }
@Override public void propertyChange(PropertyChangeEvent pce) { if (constantPercent && getUI() instanceof BasicSplitPaneUI) { BasicSplitPaneUI ui = (BasicSplitPaneUI) getUI(); if (dividerHashCode != ui.getDivider().hashCode()) { dividerHashCode = ui.getDivider().hashCode(); ui.getDivider().addMouseListener(new MouseAdapter() { @Override public void mouseReleased(MouseEvent e) { DockingSplitPane.this.percent = SwingUtility.getDividerProportion(DockingSplitPane.this); DockingSplitPane.this.setResizeWeight(percent); } }); } } } });
private void tweakUI() { if (!(getUI() instanceof BasicSplitPaneUI)) { return; } BasicSplitPaneDivider divider = ((BasicSplitPaneUI) getUI()).getDivider(); if (divider != null) { divider.addMouseListener(new DividerMouseListener()); } } }
if (spUI instanceof BasicSplitPaneUI) { BasicSplitPaneUI bspUI = (BasicSplitPaneUI) spUI; bspUI.getDivider().addMouseListener(new MouseAdapter() { @Override public void mouseClicked(MouseEvent e) {
if (spUI instanceof BasicSplitPaneUI) { BasicSplitPaneUI bspUI = (BasicSplitPaneUI) spUI; bspUI.getDivider().addMouseListener(new MouseAdapter() { @Override public void mouseClicked(MouseEvent e) {
divider.setBorder(null); divider.addMouseListener(new MouseAdapter() { @Override public void mouseClicked(MouseEvent e) {