edu.rice.cs.drjava.ui
Class MainFrame.LineNumbersFontOptionListener

java.lang.Object
  edu.rice.cs.drjava.ui.MainFrame.LineNumbersFontOptionListener

All Implemented Interfaces:

OptionListener<Font>

Enclosing class:

MainFrame

private class MainFrame.LineNumbersFontOptionListener
extends Object
implements OptionListener<Font>

The OptionListener for FONT_LINE_NUMBERS

Constructor Summary

private

MainFrame.LineNumbersFontOptionListener()

Method Summary

void	optionChanged(OptionEvent<Font> oce)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MainFrame.LineNumbersFontOptionListener

private MainFrame.LineNumbersFontOptionListener()

Method Detail

optionChanged

public void optionChanged(OptionEvent<Font> oce)

Specified by:

optionChanged in interface OptionListener<Font>