# HG changeset patch # User Omair Majid # Date 1232577055 18000 # Node ID fd00fcaea171e1a0987d9ea0032d1f6dabbc3a46 # Parent a08ebb168e2fba98c40fb34bd25ed822fd2cdc98 2009-01-21 Omair Majid * patches/icedtea-awt-window-size.patch: Update patch. diff -r a08ebb168e2f -r fd00fcaea171 ChangeLog --- a/ChangeLog Wed Jan 21 17:17:47 2009 -0500 +++ b/ChangeLog Wed Jan 21 17:30:55 2009 -0500 @@ -1,3 +1,7 @@ +2009-01-21 Omair Majid + + * patches/icedtea-awt-window-size.patch: Update patch. + 2009-01-21 Omair Majid * pulseaudio/src/java/org/classpath/icedtea/pulseaudio/PulseAudioClip.java: diff -r a08ebb168e2f -r fd00fcaea171 patches/icedtea-awt-window-size.patch --- a/patches/icedtea-awt-window-size.patch Wed Jan 21 17:17:47 2009 -0500 +++ b/patches/icedtea-awt-window-size.patch Wed Jan 21 17:30:55 2009 -0500 @@ -6,9 +6,9 @@ Rectangle newBounds = constrainBounds(reqBounds.x, reqBounds.y, reqBounds.width, reqBounds.height); - newDimensions = new WindowDimensions(newBounds, newDimensions.getInsets(), newDimensions.isClientSizeSet()); + Insets insets = newDimensions.getInsets(); -+ Rectangle fixedBounds = new Rectangle(newBounds.x, newBounds.y, newBounds.width - insets.left - insets.right, ++ Rectangle clientBounds = new Rectangle(newBounds.x, newBounds.y, newBounds.width - insets.left - insets.right, + newBounds.height - insets.top - insets.bottom); -+ newDimensions = new WindowDimensions(fixedBounds, insets, newDimensions.isClientSizeSet()); ++ newDimensions = new WindowDimensions(newDimensions.isClientSizeSet() ? clientBounds : newBounds , insets, newDimensions.isClientSizeSet()); } XToolkit.awtLock(); try {