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

Packages that use Configuration
edu.rice.cs.drjava.config This package contains the code that allows for dynamically modifying the configuration options in DrJava. 
 

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

Subclasses of Configuration in edu.rice.cs.drjava.config
 class FileConfiguration
          A Configuration object that is backed by a file.
 class SavableConfiguration
          A Configuration object that can be read and saved from a Stream.
 

Methods in edu.rice.cs.drjava.config with parameters of type Configuration
(package private)  void Option.notifyListeners(Configuration config, Object val)
           
(package private)  void Option.addListener(Configuration c, OptionListener l)
          magic listener-bag adder
(package private)  void Option.removeListener(Configuration c, OptionListener l)
          magic listener-bag remover
(package private)  void IntegerOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void VectorOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void StringOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void FontOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void KeyStrokeOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void ColorOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void FileOption.notifyListeners(Configuration x0, Object x1)
           
(package private)  void BooleanOption.notifyListeners(Configuration x0, Object x1)