[DrJava] [ drjava-Bugs-1114573 ] Undo Button Exception V 20040908-2125

[SourceForge.net <no...@so...>]

Bugs item #1114573, was opened at 2005-02-02 03:46
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=1114573&group_id=44253

Category: User interface
Group: Serious
Status: Open
Resolution: None
Priority: 5
Submitted By: ThatMorrowGuy (thatmorrowguy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Undo Button Exception V 20040908-2125

Initial Comment:
I was working on my PowerBook running OSX 10.3, and I
discovered at certain times the program throws an
exception when I use the undo command.  I found it
using the meta-z hotkey combination, but I believe it
does the same through the toolbar.  When I attempted to
reproduce the bug, sometimes it didn't appear. 
However, the most reliable way I found to reproduce the
bug is to open a new instance on DrJava, and paste
something from the clipboard.  Then when you press the
undo button, it throws an array out of bounds exception
with the following stack trace:

java.lang.ArrayIndexOutOfBoundsException: -1
 at
javax.swing.text.AbstractDocument$BranchElement.getEndOffset(AbstractDocument.java:2333)
 at
javax.swing.text.PlainView.getLineWidth(PlainView.java:631)
 at
javax.swing.text.PlainView.getPreferredSpan(PlainView.java:214)
 at
javax.swing.plaf.basic.BasicTextUI$RootView.getPreferredSpan(BasicTextUI.java:1239)
 at
javax.swing.plaf.basic.BasicTextUI.getPreferredSize(BasicTextUI.java:809)
 at
javax.swing.JComponent.getPreferredSize(JComponent.java:1275)
 at
javax.swing.JEditorPane.getPreferredSize(JEditorPane.java:1212)
 at
javax.swing.ScrollPaneLayout.layoutContainer(ScrollPaneLayout.java:769)
 at java.awt.Container.layout(Container.java:1020)
 at java.awt.Container.doLayout(Container.java:1010)
 at java.awt.Container.validateTree(Container.java:1092)
 at java.awt.Container.validate(Container.java:1067)
 at
javax.swing.RepaintManager.validateInvalidComponents(RepaintManager.java:353)
 at
javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:116)
 at
java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:178)
 at java.awt.EventQueue.dispatchEvent(EventQueue.java:454)
 at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:234)
 at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:184)
 at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:178)
 at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:170)
 at
java.awt.EventDispatchThread.run(EventDispatchThread.java:100)


However, from one of my other times that the crash
occured, it gave me a very different stack trace.  It
happened when I pressed the undo button while my cursor
was in the Find window I believe, but I was unable to
make a scenerio where it could be easily reproduced. 
In spite of that, it is possible that the two bugs have
a common root that can be fixed.

edu.rice.cs.util.UnexpectedException:
javax.swing.undo.CannotUndoException
 at
edu.rice.cs.drjava.ui.DefinitionsPane$UndoAction.actionPerformed(DefinitionsPane.java:1342)
 at
edu.rice.cs.util.swing.DelegatingAction.actionPerformed(DelegatingAction.java:153)
 at
edu.rice.cs.drjava.ui.MainFrame$47.actionPerformed(MainFrame.java:856)
 at
javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1535)
 at
edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsPane.java:438)
 at java.awt.Component.processEvent(Component.java:4975)
 at java.awt.Container.processEvent(Container.java:1613)
 at
java.awt.Component.dispatchEventImpl(Component.java:3681)
 at
java.awt.Container.dispatchEventImpl(Container.java:1671)
 at java.awt.Component.dispatchEvent(Component.java:3543)
 at
java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1713)
 at
java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:627)
 at
java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:831)
 at
java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:741)
 at
java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:592)
 at
java.awt.Component.dispatchEventImpl(Component.java:3572)
 at
java.awt.Container.dispatchEventImpl(Container.java:1671)
 at java.awt.Window.dispatchEventImpl(Window.java:1606)
 at java.awt.Component.dispatchEvent(Component.java:3543)
 at java.awt.EventQueue.dispatchEvent(EventQueue.java:456)
 at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:234)
 at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:184)
 at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:178)
 at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:170)
 at
java.awt.EventDispatchThread.run(EventDispatchThread.java:100)

Caused by:
javax.swing.undo.CannotUndoException
 at javax.swing.undo.UndoManager.undo(UndoManager.java:273)
 at
edu.rice.cs.drjava.model.definitions.CompoundUndoManager.undo(CompoundUndoManager.java:238)
 at
edu.rice.cs.drjava.ui.DefinitionsPane$UndoAction.actionPerformed(DefinitionsPane.java:1337)
 at
edu.rice.cs.util.swing.DelegatingAction.actionPerformed(DelegatingAction.java:153)
 at
edu.rice.cs.drjava.ui.MainFrame$47.actionPerformed(MainFrame.java:856)
 at
javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1535)
 at
edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsPane.java:438)
 at java.awt.Component.processEvent(Component.java:4975)
 at java.awt.Container.processEvent(Container.java:1613)
 at
java.awt.Component.dispatchEventImpl(Component.java:3681)
 at
java.awt.Container.dispatchEventImpl(Container.java:1671)
 at java.awt.Component.dispatchEvent(Component.java:3543)
 at
java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1713)
 at
java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:627)
 at
java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:831)
 at
java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:741)
 at
java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:592)
 at
java.awt.Component.dispatchEventImpl(Component.java:3572)
 at
java.awt.Container.dispatchEventImpl(Container.java:1671)
 at java.awt.Window.dispatchEventImpl(Window.java:1606)
 at java.awt.Component.dispatchEvent(Component.java:3543)
 at java.awt.EventQueue.dispatchEvent(EventQueue.java:456)
 at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:234)
 at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:184)
 at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:178)
 at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:170)
 at
java.awt.EventDispatchThread.run(EventDispatchThread.java:100)


I haven't had a chance to try a more recent version of
the sofware, so it is possible that this bug has
already been found and fixed.  If this is the case, I
apologize for wasting your time.  Thanks for your help
in this, and good luck bug tracking.

Jeff Morrow

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1114573&group_id=44253