DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Addresses bug [ 1611275 ]

java.lang.NullPointerException
at edu.rice.cs.drjava.ui.MainFrame._repaintLineNums(MainFrame.java:6335)

M src/edu/rice/cs/drjava/ui/MainFrame.java

Authored by: mgricken 2006-12-08

Parent: [r4048]

changed