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

Packages that use ConstantProperty

edu.rice.cs.drjava.config

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

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

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

class

VariableProperty Class representing user-defined variables that can be inserted as variables in external processes.