Bugs item #784499, was opened at 2003-08-06 19:08
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=784499&group_id=44253
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: R. Matt Barnett (rmbarnett)
Assigned to: Nobody/Anonymous (nobody)
Summary: 20030805-2214 produces NPE on "File | Quit"
Initial Comment:
File | Quit produces:
java.lang.NullPointerException
at
edu.rice.cs.drjava.ui.MainFrame._storePositionInfo
(MainFrame.java:1861)
at edu.rice.cs.drjava.ui.MainFrame._quit
(MainFrame.java:1833)
at edu.rice.cs.drjava.ui.MainFrame.access$2700
(MainFrame.java:93)
at
edu.rice.cs.drjava.ui.MainFrame$29.actionPerformed
(MainFrame.java:594)
at
javax.swing.AbstractButton.fireActionPerformed
(Unknown Source)
at
javax.swing.AbstractButton$ForwardActionEvents.actionP
erformed(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$MouseInputHandl
er.mouseReleased(Unknown Source)
at java.awt.Component.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.pumpOneEventForHierarch
y(Unknown Source)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy
(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents
(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown
Source)
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=784499&group_id=44253
|
