edu.rice.cs.drjava.config
Interface OptionListener

All Known Implementing Classes:
DefinitionsPane.BackgroundColorOptionListener, DefinitionsPane.MatchColorOptionListener, DefinitionsPane.ErrorColorOptionListener, DefinitionsPane.BreakpointColorOptionListener, DefinitionsPane.ThreadColorOptionListener, CompilerErrorPanel.CompilerLocationOptionListener, CompilerErrorPanel.ErrorListPane.CompilerErrorColorOptionListener, JUnitPanel.JUnitErrorListPane.CompilerErrorColorOptionListener, MainFrame.MainFontOptionListener, MainFrame.DoclistFontOptionListener, MainFrame.ToolbarFontOptionListener, MainFrame.ToolbarOptionListener, MainFrame.WorkingDirOptionListener, MainFrame.LineEnumOptionListener, MainFrame.QuitPromptOptionListener, MainFrame.RecentFilesOptionListener, KeyBindingManager.KeyStrokeOptionListener, DefaultGlobalModel.ExtraClasspathOptionListener, ColoringView.ColorOptionListener, History.HistorySizeOptionListener

public interface OptionListener


Method Summary
 void optionChanged(OptionEvent oce)
           
 

Method Detail

optionChanged

public void optionChanged(OptionEvent oce)