diff options
Diffstat (limited to 'src/gleem/ManipManager.java')
-rw-r--r-- | src/gleem/ManipManager.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/gleem/ManipManager.java b/src/gleem/ManipManager.java index 85a3d80..b959e74 100644 --- a/src/gleem/ManipManager.java +++ b/src/gleem/ManipManager.java @@ -122,8 +122,9 @@ public class ManipManager { } WindowInfo info = (WindowInfo) windowToInfoMap.get(window); if (info != null) { - for (Iterator iter = info.manips.iterator(); iter.hasNext(); ) { - removeManipFromWindow((Manip) iter.next(), window); + Object[] manips = info.manips.toArray(); + for (int i = 0; i < manips.length; i++) { + removeManipFromWindow((Manip) manips[i], window); } windowToInfoMap.remove(window); removeMouseListeners(window); |