Menu ▾ ▴

Commit [r4231]  Maximize  Restore  History

This commit is a minor revision that (i) comments out theh remaining references in the code to _listOfPrompt in InteractionsPane.java; and (ii) makes the activeDocumentRefreshed listener in MainFrame.java more like the activeDocumentChanged listener. The latter was done for fear that the inconsisent DefinitionsPane bug might reappear.

The following files were modified:

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

rcartwright 2007-05-03

Browse code at this revision

Parent: [r4230]

Child: [r4232]

changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.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...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB