Uses of Class
edu.rice.cs.drjava.config.SavableConfiguration

Packages that use SavableConfiguration

edu.rice.cs.drjava.config

This package contains the code that allows for dynamically modifying the configuration options in DrJava.

Uses of SavableConfiguration in edu.rice.cs.drjava.config

Subclasses of SavableConfiguration in edu.rice.cs.drjava.config

class

FileConfiguration A Configuration object that is backed by a file.