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)
|