[cp-patches] FYI: fix for JComponent

[Roman Kennke]

In JComponent it was possible to set a minimumSize to a value greater 
than preferred and maximumSize. The JDK does adjust the values of 
prefSize and maxSize so that minimumSize is always less or equal than 
preferredSize. I fixed this.

2005-06-08  Roman Kennke  <address@hidden>

   * javax/swing/JComponent.java:
   (setMinimumSize): Adjust preferredSize and maximumSize when
   minimumSize is greater than preferred or maximumSize.

/Roman

Index: javax/swing/JComponent.java
===================================================================
RCS file: /cvsroot/classpath/classpath/javax/swing/JComponent.java,v
retrieving revision 1.41
diff -u -r1.41 JComponent.java
--- javax/swing/JComponent.java 1 Jun 2005 08:56:16 -0000       1.41
+++ javax/swing/JComponent.java 8 Jun 2005 13:23:57 -0000
@@ -2063,6 +2063,16 @@
     firePropertyChange("minimumSize", oldMinimumSize, minimumSize);
     revalidate();
     repaint();
+
+    // adjust preferred and maximum size accordingly
+    Dimension prefSize = getPreferredSize();
+    prefSize.width = Math.max(prefSize.width, minimumSize.width);
+    prefSize.height = Math.max(prefSize.height, minimumSize.height);
+    setPreferredSize(prefSize);
+    Dimension maxSize = getMaximumSize();
+    maxSize.width = Math.max(maxSize.width, minimumSize.width);
+    maxSize.height = Math.max(maxSize.height, minimumSize.height);
+    setMaximumSize(maxSize);
   }

   /**