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 java.lang.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 java.awt.Font	getDefaultDocListFont()
static java.awt.Font	getDefaultLineNumberFont()
static java.awt.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 java.awt.Font getDefaultMainFont()

getDefaultLineNumberFont

public static java.awt.Font getDefaultLineNumberFont()

getDefaultDocListFont

public static java.awt.Font getDefaultDocListFont()