|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FileConfiguration | |
edu.rice.cs.drjava | The main package for DrJava contains only two classes. |
Uses of FileConfiguration in edu.rice.cs.drjava |
Fields in edu.rice.cs.drjava declared as FileConfiguration | |
private static FileConfiguration |
DrJava._config
Configuration object with all customized and default values. |
Methods in edu.rice.cs.drjava that return FileConfiguration | |
static FileConfiguration |
DrJava.getConfig()
Returns the configuration object with all customized and default values. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |