< prev index next >

src/java.desktop/share/classes/javax/swing/plaf/basic/BasicSplitPaneUI.java

Print this page

        

*** 713,725 **** // its functionality has been moved into Handler. If you need to add // new functionality add it to the Handler, but make sure this // class calls into the Handler. /** ! * Messaged from the <code>JSplitPane</code> the receiver is * contained in. May potentially reset the layout manager and cause a ! * <code>validate</code> to be sent. */ public void propertyChange(PropertyChangeEvent e) { getHandler().propertyChange(e); } } --- 713,725 ---- // its functionality has been moved into Handler. If you need to add // new functionality add it to the Handler, but make sure this // class calls into the Handler. /** ! * Messaged from the {@code JSplitPane} the receiver is * contained in. May potentially reset the layout manager and cause a ! * {@code validate} to be sent. */ public void propertyChange(PropertyChangeEvent e) { getHandler().propertyChange(e); } }
*** 1804,1814 **** return size.width; } /** * Returns a particular value of the inset identified by the ! * axis and <code>isTop</code><p> * axis isTop * 0 true - left * 0 false - right * 1 true - top * 1 false - bottom --- 1804,1814 ---- return size.width; } /** * Returns a particular value of the inset identified by the ! * axis and {@code isTop}<p> * axis isTop * 0 true - left * 0 false - right * 1 true - top * 1 false - bottom
*** 1826,1836 **** return insets.bottom; } /** * Returns a particular value of the inset identified by the ! * axis and <code>isTop</code><p> * axis isTop * 0 true - left * 0 false - right * 1 true - top * 1 false - bottom --- 1826,1836 ---- return insets.bottom; } /** * Returns a particular value of the inset identified by the ! * axis and {@code isTop}<p> * axis isTop * 0 true - left * 0 false - right * 1 true - top * 1 false - bottom
*** 1900,1910 **** sizes[2] = getSizeForPrimaryAxis(components[2].getPreferredSize()); } } /** ! * Resets the size of the first component to <code>leftSize</code>, * and the right component to the remainder of the space. */ void setDividerLocation(int leftSize, int availableSize) { boolean lValid = (components[0] != null && components[0].isVisible()); --- 1900,1910 ---- sizes[2] = getSizeForPrimaryAxis(components[2].getPreferredSize()); } } /** ! * Resets the size of the first component to {@code leftSize}, * and the right component to the remainder of the space. */ void setDividerLocation(int leftSize, int availableSize) { boolean lValid = (components[0] != null && components[0].isVisible());
*** 2001,2011 **** setSizes(testSizes); distributeSpace(availableSize - totalSize, false); } /** ! * Distributes <code>space</code> between the two components * (divider won't get any extra space) based on the weighting. This * attempts to honor the min size of the components. * * @param keepHidden if true and one of the components is 0x0 * it gets none of the extra space --- 2001,2011 ---- setSizes(testSizes); distributeSpace(availableSize - totalSize, false); } /** ! * Distributes {@code space} between the two components * (divider won't get any extra space) based on the weighting. This * attempts to honor the min size of the components. * * @param keepHidden if true and one of the components is 0x0 * it gets none of the extra space
*** 2117,2129 **** private class Handler implements FocusListener, PropertyChangeListener { // // PropertyChangeListener // /** ! * Messaged from the <code>JSplitPane</code> the receiver is * contained in. May potentially reset the layout manager and cause a ! * <code>validate</code> to be sent. */ public void propertyChange(PropertyChangeEvent e) { if(e.getSource() == splitPane) { String changeName = e.getPropertyName(); --- 2117,2129 ---- private class Handler implements FocusListener, PropertyChangeListener { // // PropertyChangeListener // /** ! * Messaged from the {@code JSplitPane} the receiver is * contained in. May potentially reset the layout manager and cause a ! * {@code validate} to be sent. */ public void propertyChange(PropertyChangeEvent e) { if(e.getSource() == splitPane) { String changeName = e.getPropertyName();
< prev index next >