summaryrefslogtreecommitdiff
path: root/libjava/classpath/javax/swing/DefaultDesktopManager.java
diff options
context:
space:
mode:
Diffstat (limited to 'libjava/classpath/javax/swing/DefaultDesktopManager.java')
-rw-r--r--libjava/classpath/javax/swing/DefaultDesktopManager.java10
1 files changed, 7 insertions, 3 deletions
diff --git a/libjava/classpath/javax/swing/DefaultDesktopManager.java b/libjava/classpath/javax/swing/DefaultDesktopManager.java
index 7f62c948625..0304461ad4e 100644
--- a/libjava/classpath/javax/swing/DefaultDesktopManager.java
+++ b/libjava/classpath/javax/swing/DefaultDesktopManager.java
@@ -124,8 +124,6 @@ public class DefaultDesktopManager implements DesktopManager, Serializable
public void closeFrame(JInternalFrame frame)
{
Container c = frame.getParent();
- frame.doDefaultCloseAction();
-
if (c != null)
{
if (frame.isIcon())
@@ -244,7 +242,9 @@ public class DefaultDesktopManager implements DesktopManager, Serializable
c.add(icon);
icon.setVisible(true);
}
+ Rectangle b = frame.getBounds();
c.remove(frame);
+ c.repaint(b.x, b.y, b.width, b.height);
}
}
@@ -501,7 +501,11 @@ public class DefaultDesktopManager implements DesktopManager, Serializable
JDesktopIcon icon = frame.getDesktopIcon();
Container c = icon.getParent();
if (c != null && icon != null)
- c.remove(icon);
+ {
+ Rectangle b = icon.getBounds();
+ c.remove(icon);
+ c.repaint(b.x, b.y, b.width, b.height);
+ }
}
/**