Bugs item #991041, was opened at 2004-07-14 12:41
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=991041&group_id=44253
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Patrick Kruse (pakruse)
Assigned to: Nobody/Anonymous (nobody)
Summary: CompoundUndoManager out of bounds
Initial Comment:
This happens quite often after DrJava has been open for
a long time and many documents are open (likely on
documents that have been kicked out of the cache,
though I'm not sure).
Switching back to a document, and then clicking
anywhere, causes an ArrayIndexOutOfBoundsError:
java.lang.IndexOutOfBoundsException: Index: 0, Size: 0
at java.util.LinkedList.entry(LinkedList.java:368)
at java.util.LinkedList.get(LinkedList.java:313)
at
edu.rice.cs.drjava.model.definitions.CompoundUndoManager.endCompoundEdit(CompoundUndoManager.java:127)
at
edu.rice.cs.drjava.ui.DefinitionsPane.endCompoundEdit(DefinitionsPane.java:385)
at
edu.rice.cs.drjava.ui.DefinitionsPane$PopupMenuMouseAdapter.mousePressed(DefinitionsPane.java:722)
at
java.awt.AWTEventMulticaster.mousePressed(AWTEventMulticaster.java:222)
at
java.awt.AWTEventMulticaster.mousePressed(AWTEventMulticaster.java:221)
at
java.awt.Component.processMouseEvent(Component.java:5483)
at
javax.swing.JComponent.processMouseEvent(JComponent.java:3093)
at java.awt.Component.processEvent(Component.java:5251)
at java.awt.Container.processEvent(Container.java:1966)
at
java.awt.Component.dispatchEventImpl(Component.java:3953)
at
java.awt.Container.dispatchEventImpl(Container.java:2024)
at java.awt.Component.dispatchEvent(Component.java:3801)
at
java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4212)
at
java.awt.LightweightDispatcher.processMouseEvent(Container.java:3889)
at
java.awt.LightweightDispatcher.dispatchEvent(Container.java:3822)
at
java.awt.Container.dispatchEventImpl(Container.java:2010)
at java.awt.Window.dispatchEventImpl(Window.java:1766)
at java.awt.Component.dispatchEvent(Component.java:3801)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:463)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:234)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
at
java.awt.EventDispatchThread.run(EventDispatchThread.java:110)
Running under our most recent release, although I think
the last few release have had this problem. Running
under the Beta3 (b55) jvm.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=991041&group_id=44253
|
