diff options
Diffstat (limited to 'libjava/classpath/javax/swing/DefaultDesktopManager.java')
-rw-r--r-- | libjava/classpath/javax/swing/DefaultDesktopManager.java | 10 |
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); + } } /** |