[DrJava] [ drjava-Bugs-1154729 ] Closing new document throws error

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

Bugs item #1154729, was opened at 2005-03-01 17:16
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=1154729&group_id=44253

Category: User interface
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Closing new document throws error

Initial Comment:
email: mi...@ri...

When I create a new document then immediately close it
without changes or saving, the following error is
displayed:

java.lang.IllegalStateException: This document does not
yet have a file.
	at
edu.rice.cs.drjava.model.DefaultGlobalModel$ConcreteOpenDefDoc.getFile(DefaultGlobalModel.java:2598)
	at
edu.rice.cs.drjava.ui.MainFrame._close(MainFrame.java:2819)
	at
edu.rice.cs.drjava.ui.MainFrame.access$1700(MainFrame.java:106)
	at
edu.rice.cs.drjava.ui.MainFrame$17.actionPerformed(MainFrame.java:499)
	at
javax.swing.AbstractButton.fireActionPerformed(Unknown
Source)
	at
javax.swing.AbstractButton$Handler.actionPerformed(Unknown
Source)
	at
javax.swing.DefaultButtonModel.fireActionPerformed(Unknown
Source)
	at javax.swing.DefaultButtonModel.setPressed(Unknown
Source)
	at javax.swing.AbstractButton.doClick(Unknown Source)
	at
javax.swing.plaf.basic.BasicMenuItemUI.doClick(Unknown
Source)
	at
javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(Unknown
Source)
	at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
	at java.awt.Component.processMouseEvent(Unknown Source)
	at javax.swing.JComponent.processMouseEvent(Unknown
Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(Unknown Source)
	at java.awt.Component.dispatchEventImpl(Unknown Source)
	at java.awt.Container.dispatchEventImpl(Unknown Source)
	at java.awt.Component.dispatchEvent(Unknown Source)
	at
java.awt.LightweightDispatcher.retargetMouseEvent(Unknown
Source)
	at
java.awt.LightweightDispatcher.processMouseEvent(Unknown
Source)
	at
java.awt.LightweightDispatcher.dispatchEvent(Unknown
Source)
	at java.awt.Container.dispatchEventImpl(Unknown Source)
	at java.awt.Window.dispatchEventImpl(Unknown Source)
	at java.awt.Component.dispatchEvent(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
	at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)


WinXP SP2, JDK 1.5, Latest "Hourly" release of DrJ

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

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