/** * Property change event, presumably from the JideSplitPane, will message updateOrientation if necessary. */ public void propertyChange(PropertyChangeEvent e) { if (e.getSource() == _jideSplitPane) { if (JideSplitPane.ORIENTATION_PROPERTY.equals(e.getPropertyName())) { _orientation = _jideSplitPane.getOrientation(); setCursor((_orientation == JideSplitPane.HORIZONTAL_SPLIT) ? HORIZONTAL_CURSOR : VERTICAL_CURSOR); invalidate(); validate(); } else if (JideSplitPane.ONE_TOUCH_EXPANDABLE_PROPERTY.equals(e.getPropertyName())) { setDividerSize(_jideSplitPane.getDividerSize()); oneTouchExpandableChanged(); } else if (JideSplitPane.DIVIDER_SIZE_PROPERTY.equals(e.getPropertyName())) { setDividerSize(_jideSplitPane.getDividerSize()); } else if (JideSplitPane.GRIPPER_PROPERTY.equals(e.getPropertyName())) { repaint(); } } }
Dimension size = new Dimension(); Rectangle rect = getVisibleRect(); int dividerThickness = Math.min(4, getDividerSize()); Rectangle convertedRect = SwingUtilities.convertRectangle(this, rect, _layeredPane); if (getOrientation() == HORIZONTAL_SPLIT) { p = SwingUtilities.convertPoint(this, location, rect.y, _layeredPane); p.x += ((getDividerSize() - dividerThickness) >> 1); size.width = dividerThickness; size.height = convertedRect.height; p.y += ((getDividerSize() - dividerThickness) >> 1); size.width = convertedRect.width; size.height = dividerThickness;
_componentSizes[i] = ((JideSplitPane) _target).getDividerSize(); availableSize -= _componentSizes[i];
return location - getDividerSize(); return getOrientation() == HORIZONTAL_SPLIT ? getWidth() - getDividerSize() : getHeight() - getDividerSize();
/** * Creates an instance of BasicJideSplitPaneDivider. Registers this instance for mouse events and mouse dragged * events. * * @param splitPane the JideSplitPane. */ public JideSplitPaneDivider(JideSplitPane splitPane) { setJideSplitPane(splitPane); _orientation = _jideSplitPane.getOrientation(); // get divider size from JideSplitPane setDividerSize(splitPane.getDividerSize()); setDefaultResizeCursor(); setBackground(UIDefaultsLookup.getColor("JideSplitPaneDivider.background")); setBorder(UIDefaultsLookup.getBorder("JideSplitPaneDivider.border")); if (_jideSplitPane.isOneTouchExpandable()) { oneTouchExpandableChanged(); } _gripperPainter = (Painter) UIDefaultsLookup.get("JideSplitPaneDivider.gripperPainter"); setOpaque(false); setLayout(null); }
int dividerThickness = Math.min(4, getDividerSize()); if (getOrientation() == HORIZONTAL_SPLIT) { _nonContinuousLayoutDividerWrapper.delegateSetBounds(layeredPaneBounds.x, layeredPaneBounds.y,
return location + getDividerSize();