Menu

Commit [r4694]  Maximize  Restore  History

Workaround for a NullPointerException arising when the Eclipse plug-in performs a reset. MainJVM assumed a pointer to a Swing object was non-null. (This should be fixed by eliminating the strong tie to Swing in MainJVM.)

dlsmith 2008-12-08

changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB