edu.rice.cs.drjava.config
Class OptionConstants.DefaultFont

java.lang.Object
  edu.rice.cs.drjava.config.OptionConstants.DefaultFont

Enclosing interface:

OptionConstants

public static class OptionConstants.DefaultFont
extends Object

Class that allows the main font to be initialized properly. On Mac OS X, Monaco is the best monospaced font.

Constructor Summary

OptionConstants.DefaultFont()

Method Summary

static Font	getDefaultDocListFont()
static Font	getDefaultLineNumberFont()
static Font	getDefaultMainFont()

Methods inherited from class java.lang.Object

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

Constructor Detail

OptionConstants.DefaultFont

public OptionConstants.DefaultFont()

Method Detail

getDefaultMainFont

public static Font getDefaultMainFont()

getDefaultLineNumberFont

public static Font getDefaultLineNumberFont()

getDefaultDocListFont

public static Font getDefaultDocListFont()