DrJava Legacy SVN Repository

Pane. If an undefined class is encountered, the dialog will display
all standard Java API classes and let the user select one. If a
class is selected, then DrJava will import that class and re-execute
the erroneous line. If another undefined class is found, the dialog
will appear again. For example, enter the following line:
List l = new LinkedList()
Both List and LinkedList are undefined. The dialog will appear once
to select the class to import for List (make sure to import
java.util.List, not java.awt.List). Then DrJava will re-execute the
line and show the dialog for LinkedList. Once both classes have
been imported, the line is executed without an error.
The history is also modified to include the inserted imports.

M lib/docs.jar
M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java