Menu ▾ ▴

Commit [r4115]  Maximize  Restore  History

Checks files when opening project to see if they have been modified outside of DrJava. If a file has been modified, clears all of the bookmarks and breakpoints associated with that file.

Also fixed NullPointerException caused by bug [1651914] by adding a test for null.

M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.java

sigma_lmtd 2007-02-05

Browse code at this revision

Parent: [r4114]

Child: [r4116]

changed /trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java
/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB