edu.rice.cs.drjava.ui
Class DefinitionsPane.AntiAliasOptionListener

java.lang.Object
  edu.rice.cs.drjava.ui.DefinitionsPane.AntiAliasOptionListener

All Implemented Interfaces:

OptionListener<Boolean>

Enclosing class:

DefinitionsPane

private class DefinitionsPane.AntiAliasOptionListener
extends Object
implements OptionListener<Boolean>

The OptionListener for TEXT_ANTIALIAS.

Constructor Summary

private

DefinitionsPane.AntiAliasOptionListener()

Method Summary

void	optionChanged(OptionEvent<Boolean> oce)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefinitionsPane.AntiAliasOptionListener

private DefinitionsPane.AntiAliasOptionListener()

Method Detail

optionChanged

public void optionChanged(OptionEvent<Boolean> oce)

Specified by:

optionChanged in interface OptionListener<Boolean>