Bugs item #1659383, was opened at 2007-02-13 18:24
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=1659383&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: Definitions (source editor)
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Ken Been (kbeen)
Assigned to: Nobody/Anonymous (nobody)
Summary: line number related crash
Initial Comment:
When quitting DrJava I got the error below. It seems to have something to do with the fact that when I started DrJava line numbers were on, and at some point during the session I turned line numbers off. I also had been using the debugger during the session.
java.lang.NullPointerException
at edu.rice.cs.drjava.ui.MainFrame._repaintLineNums(MainFrame.java:6305)
at edu.rice.cs.drjava.ui.MainFrame._updateNormalColor(MainFrame.java:6265)
at edu.rice.cs.drjava.ui.MainFrame._resetNavigatorPane(MainFrame.java:3459)
at edu.rice.cs.drjava.ui.MainFrame._closeProject(MainFrame.java:3553)
at edu.rice.cs.drjava.ui.MainFrame._quit(MainFrame.java:4041)
at edu.rice.cs.drjava.ui.MainFrame.access$5300(MainFrame.java:101)
at edu.rice.cs.drjava.ui.MainFrame$126.windowClosing(MainFrame.java:2370)
at java.awt.AWTEventMulticaster.windowClosing(AWTEventMulticaster.java:291)
at java.awt.Window.processWindowEvent(Window.java:1182)
at javax.swing.JFrame.processWindowEvent(JFrame.java:266)
at java.awt.Window.processEvent(Window.java:1140)
at java.awt.Component.dispatchEventImpl(Component.java:3955)
at java.awt.Container.dispatchEventImpl(Container.java:2024)
at java.awt.Window.dispatchEventImpl(Window.java:1766)
at java.awt.Component.dispatchEvent(Component.java:3803)
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)
System Properties:
DrJava Version 20060821-1502
java.runtime.name = Java(TM) 2 Runtime Environment, Standard Edition
sun.boot.library.path = /usr/local/jdk1.5.0/jre/lib/i386
java.vm.version = 1.5.0-b64
java.vm.vendor = Sun Microsystems Inc.
java.vendor.url = http://java.sun.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 = /home/kbeen
java.runtime.version = 1.5.0-b64
java.awt.graphicsenv = sun.awt.X11GraphicsEnvironment
java.endorsed.dirs = /usr/local/jdk1.5.0/jre/lib/endorsed
os.arch = i386
java.io.tmpdir = /tmp
line.separator = "\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
os.name = Linux
sun.jnu.encoding = UTF-8
java.library.path = /usr/local/jdk1.5.0/jre/lib/i386/client:/usr/local/jdk1.5.0/jre/lib/i386:/usr/local/jdk1.5.0/jre/../lib/i386:/usr/lib:/usr/X11R6/lib:/usr/local/lib
java.specification.name = Java Platform API Specification
java.class.version = 49.0
sun.management.compiler = HotSpot Client Compiler
os.version = 2.6.15-28-686
user.home = /home/kbeen
user.timezone = America/New_York
java.awt.printerjob = sun.print.PSPrinterJob
file.encoding = UTF-8
java.specification.version = 1.5
java.class.path = /usr/local/downloads/drjava-stable-20060821-1502.jar:/usr/local/jdk1.5.0/lib/tools.jar
user.name = kbeen
java.vm.specification.version = 1.0
java.home = /usr/local/jdk1.5.0/jre
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
java.vm.info = mixed mode, sharing
java.version = 1.5.0
java.ext.dirs = /usr/local/jdk1.5.0/jre/lib/ext
sun.boot.class.path = /usr/local/jdk1.5.0/jre/lib/rt.jar:/usr/local/jdk1.5.0/jre/lib/i18n.jar:/usr/local/jdk1.5.0/jre/lib/sunrsasign.jar:/usr/local/jdk1.5.0/jre/lib/jsse.jar:/usr/local/jdk1.5.0/jre/lib/jce.jar:/usr/local/jdk1.5.0/jre/lib/charsets.jar:/usr/local/jdk1.5.0/jre/classes
java.vendor = Sun Microsystems Inc.
file.separator = /
java.vendor.url.bug = http://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.desktop = gnome
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=1659383&group_id=44253
|
