[DrJava] [ drjava-Bugs-1546202 ] CannotUndoException after Replace All

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Bugs item #1546202, was opened at 2006-08-24 14:21
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=1546202&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Dan Smith (dlsmith)
Assigned to: Nobody/Anonymous (nobody)
Summary: CannotUndoException after Replace All

Initial Comment:
I did a "Replace All", realized that I'd accidentally left "Search All 
Documents" checked, and hit Ctrl-Z.  After a pause, I got this 
exception.  (Incidentally, the facilities for recovering from this all-to-
common mistake are not good, as I undestand them.  "Undo" is tied to 
a specific document, not a global change.)

edu.rice.cs.util.UnexpectedException: 
javax.swing.undo.CannotUndoException
	at edu.rice.cs.drjava.ui.DefinitionsPane
$UndoAction.actionPerformed(DefinitionsPane.java:1173)
	at edu.rice.cs.util.swing.DelegatingAction.actionPerformed
(DelegatingAction.java:135)
	at edu.rice.cs.drjava.ui.MainFrame$56.actionPerformed
(MainFrame.java:884)
	at javax.swing.AbstractButton.fireActionPerformed
(AbstractButton.java:1882)
	at javax.swing.AbstractButton$Handler.actionPerformed
(AbstractButton.java:2202)
	at javax.swing.DefaultButtonModel.fireActionPerformed
(DefaultButtonModel.java:420)
	at javax.swing.DefaultButtonModel.setPressed
(DefaultButtonModel.java:258)
	at javax.swing.AbstractButton.doClick(AbstractButton.java:334)
	at apple.laf.ScreenMenuItem.actionPerformed
(ScreenMenuItem.java:104)
	at java.awt.MenuItem.processActionEvent(MenuItem.java:597)
	at java.awt.MenuItem.processEvent(MenuItem.java:556)
	at java.awt.MenuComponent.dispatchEventImpl
(MenuComponent.java:298)
	at java.awt.MenuComponent.dispatchEvent(MenuComponent.java:
286)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:466)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy
(EventDispatchThread.java:269)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy
(EventDispatchThread.java:190)
	at java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:184)
	at java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:176)
	at java.awt.EventDispatchThread.run(EventDispatchThread.java:
110)
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:178)
	at edu.rice.cs.drjava.ui.DefinitionsPane
$UndoAction.actionPerformed(DefinitionsPane.java:1168)
	... 18 more

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:178)
	at edu.rice.cs.drjava.ui.DefinitionsPane
$UndoAction.actionPerformed(DefinitionsPane.java:1168)
	at edu.rice.cs.util.swing.DelegatingAction.actionPerformed
(DelegatingAction.java:135)
	at edu.rice.cs.drjava.ui.MainFrame$56.actionPerformed
(MainFrame.java:884)
	at javax.swing.AbstractButton.fireActionPerformed
(AbstractButton.java:1882)
	at javax.swing.AbstractButton$Handler.actionPerformed
(AbstractButton.java:2202)
	at javax.swing.DefaultButtonModel.fireActionPerformed
(DefaultButtonModel.java:420)
	at javax.swing.DefaultButtonModel.setPressed
(DefaultButtonModel.java:258)
	at javax.swing.AbstractButton.doClick(AbstractButton.java:334)
	at apple.laf.ScreenMenuItem.actionPerformed
(ScreenMenuItem.java:104)
	at java.awt.MenuItem.processActionEvent(MenuItem.java:597)
	at java.awt.MenuItem.processEvent(MenuItem.java:556)
	at java.awt.MenuComponent.dispatchEventImpl
(MenuComponent.java:298)
	at java.awt.MenuComponent.dispatchEvent(MenuComponent.java:
286)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:466)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy
(EventDispatchThread.java:269)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy
(EventDispatchThread.java:190)
	at java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:184)
	at java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:176)
	at java.awt.EventDispatchThread.run(EventDispatchThread.java:
110)

System Properties:
DrJava Version 20060821-1502
java.runtime.name = Java(TM) 2 Runtime Environment, Standard 
Edition
sun.boot.library.path = /System/Library/Frameworks/
JavaVM.framework/Versions/1.5.0/Libraries
java.vm.version = 1.5.0_06-64
awt.nativeDoubleBuffering = true
gopherProxySet = false
java.vm.vendor = "Apple Computer, Inc."
java.vendor.url = http://apple.com/
path.separator = :
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
user.country = US
sun.os.patch.level = unknown
java.vm.specification.name = Java Virtual Machine Specification
user.dir = /Developer/Applications/DrJava
java.runtime.version = 1.5.0_06-112
java.awt.graphicsenv = apple.awt.CGraphicsEnvironment
java.endorsed.dirs = /System/Library/Frameworks/JavaVM.framework/
Versions/1.5.0/Home/lib/endorsed
os.arch = ppc
java.io.tmpdir = /tmp
line.separator = "\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
os.name = Mac OS X
apple.laf.useScreenMenuBar = true
sun.jnu.encoding = MacRoman
java.library.path = /Developer/Applications/DrJava/
DrJava-20060821.app/Contents/Resources/Java:/System/Library/
PrivateFrameworks/JavaApplicationLauncher.framework/Resources:.:/
Library/Java/Extensions:/System/Library/Java/Extensions:/usr/lib/java
java.specification.name = Java Platform API Specification
java.class.version = 49.0
sun.management.compiler = HotSpot Client Compiler
os.version = 10.4.7
user.home = /Users/dan
user.timezone = America/Chicago
java.awt.printerjob = apple.awt.CPrinterJob
file.encoding = MacRoman
java.specification.version = 1.5
java.class.path = /Developer/Applications/DrJava/
DrJava-20060821.app/Contents/Resources/Java/drjava.jar:/System/
Library/Frameworks/JavaVM.framework/Versions/1.5.0/
Classes/.compatibility/14compatibility.jar
user.name = dan
apple.awt.graphics.UseQuartz = true
java.vm.specification.version = 1.0
java.home = /System/Library/Frameworks/JavaVM.framework/
Versions/1.5.0/Home
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = apple.awt.CToolkit
java.vm.info = mixed mode, sharing
java.version = 1.5.0_06
java.ext.dirs = /Library/Java/Extensions:/System/Library/Java/
Extensions:/System/Library/Frameworks/JavaVM.framework/Versions/
1.5.0/Home/lib/ext
sun.boot.class.path = /System/Library/Frameworks/
JavaVM.framework/Versions/1.5.0/Classes/classes.jar:/System/
Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/
ui.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/
Classes/laf.jar:/System/Library/Frameworks/JavaVM.framework/
Versions/1.5.0/Classes/sunrsasign.jar:/System/Library/Frameworks/
JavaVM.framework/Versions/1.5.0/Classes/jsse.jar:/System/Library/
Frameworks/JavaVM.framework/Versions/1.5.0/Classes/jce.jar:/
System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/
Classes/charsets.jar:/System/Library/PrivateFrameworks/
JavaApplicationLauncher.framework/Resources/LauncherSupport.jar
java.vendor = Apple Computer, Inc.
file.separator = /
java.vendor.url.bug = http://developer.apple.com/java/
sun.io.unicode.encoding = UnicodeBig
sun.cpu.endian = big
java.rmi.server.hostname = 127.0.0.1
mrj.version = 1040.1.5.0_06-112
sun.awt.exception.handler = edu.rice.cs.drjava.ui.DrJavaErrorHandler
sun.cpu.isalist = 

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

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

[DrJava] [ drjava-Bugs-1546202 ] CannotUndoException after Replace All

A lightweight programming environment for Java

[DrJava] [ drjava-Bugs-1546202 ] CannotUndoException after Replace All