user-defined classes in the Definitions Pane. In flat file mode,
the fully-qualified class name is generated by making the document
file name relative to the working directory; in project mode,
it is relative to the project root.
Best results can be achieved if "Scan Class Files After Compile"
is enabled in Preferences/Display. In that case, generated class
files will be scanned after a compile, and all class names are
correctly recognized, as long as a build directory is set.
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
