/[classpath]/classpath/javax/swing/plaf/basic/BasicSplitPaneUI.java
ViewVC logotype

Diff of /classpath/javax/swing/plaf/basic/BasicSplitPaneUI.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.16 by langel, Fri Sep 30 16:23:31 2005 UTC revision 1.17 by langel, Fri Sep 30 16:55:32 2005 UTC
# Line 823  public class BasicSplitPaneUI extends Sp Line 823  public class BasicSplitPaneUI extends Sp
823            tmpSizes[1] += newSpace / 2;            tmpSizes[1] += newSpace / 2;
824                
825            layoutManager.setSizes(tmpSizes);            layoutManager.setSizes(tmpSizes);
       resetLayoutManager();  
826          }          }
827        else if (e.getPropertyName().equals(JSplitPane.ORIENTATION_PROPERTY))        else if (e.getPropertyName().equals(JSplitPane.ORIENTATION_PROPERTY))
828          {          {
# Line 1300  public class BasicSplitPaneUI extends Sp Line 1299  public class BasicSplitPaneUI extends Sp
1299    {    {
1300      location = validLocation(location);      location = validLocation(location);
1301      Container p = jc.getParent();      Container p = jc.getParent();
1302        Dimension rightPrefSize = jc.getRightComponent().getPreferredSize();
1303      if (getOrientation() == 0 && location > jc.getSize().height)      if (getOrientation() == 0 && location > jc.getSize().height)
1304        {        {
1305          Dimension leftPrefSize = jc.getLeftComponent().getPreferredSize();          location = jc.getSize().height;
1306          while (p != null)          while (p != null)
1307            {            {
1308              p.setSize(p.getWidth(), p.getHeight() + leftPrefSize.height);              p.setSize(p.getWidth(), p.getHeight() + rightPrefSize.height);
1309              p = p.getParent();              p = p.getParent();
1310            }            }
1311        }        }
1312      else if (location > jc.getSize().width)      else if (location > jc.getSize().width)
1313        {        {
1314            location = jc.getSize().width;
         Dimension rightPrefSize = jc.getRightComponent().getPreferredSize();  
1315          while (p != null)          while (p != null)
1316            {            {
1317              p.setSize(p.getWidth() + rightPrefSize.width, p.getHeight());              p.setSize(p.getWidth() + rightPrefSize.width, p.getHeight());

Legend:
Removed from v.1.16  
changed lines
  Added in v.1.17

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26