edu.stanford.nlp.trees.tregex.gui

Class Preferences

java.lang.Object

edu.stanford.nlp.trees.tregex.gui.Preferences

public class Preferences
extends Object

Manages storage and retrieval of application preferences.

Author:

Jon Gauthier

Constructor Summary

Constructors

Constructor and Description
Preferences()

Method Summary

Modifier and Type	Method and Description
static boolean	getEnableTsurgeon()
static String	getEncoding()
static String	getFont()
static int	getFontSize()
static HeadFinder	getHeadFinder()
static Color	getHighlightColor()
static int	getHistorySize()
static Color	getMatchedColor()
static boolean	getMatchPortionOnly()
static int	getMaxMatches()
static Color	getTreeColor()
static TreeReaderFactory	getTreeReaderFactory()
static void	setEnableTsurgeon(boolean enableTsurgeon)
static void	setEncoding(String encoding)
static void	setFont(String font)
static void	setFontSize(int fontSize)
static void	setHeadFinder(HeadFinder hf)
static void	setHighlightColor(Color highlightColor)
static void	setHistorySize(int historySize)
static void	setMatchedColor(Color matchedColor)
static void	setMatchPortionOnly(boolean matchPortionOnly)
static void	setMaxMatches(int maxMatches)
static void	setTreeColor(Color treeColor)
static void	setTreeReaderFactory(TreeReaderFactory trf)

Methods inherited from class java.lang.Object

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

Constructor Detail

Preferences

public Preferences()

Method Detail

getFont

public static String getFont()

setFont

public static void setFont(String font)

getFontSize

public static int getFontSize()

setFontSize

public static void setFontSize(int fontSize)

getTreeColor

public static Color getTreeColor()

setTreeColor

public static void setTreeColor(Color treeColor)

getMatchedColor

public static Color getMatchedColor()

setMatchedColor

public static void setMatchedColor(Color matchedColor)

getHighlightColor

public static Color getHighlightColor()

setHighlightColor

public static void setHighlightColor(Color highlightColor)

getHistorySize

public static int getHistorySize()

setHistorySize

public static void setHistorySize(int historySize)

getMaxMatches

public static int getMaxMatches()

setMaxMatches

public static void setMaxMatches(int maxMatches)

getEnableTsurgeon

public static boolean getEnableTsurgeon()

setEnableTsurgeon

public static void setEnableTsurgeon(boolean enableTsurgeon)

getMatchPortionOnly

public static boolean getMatchPortionOnly()

setMatchPortionOnly

public static void setMatchPortionOnly(boolean matchPortionOnly)

getEncoding

public static String getEncoding()

setEncoding

public static void setEncoding(String encoding)

getHeadFinder

public static HeadFinder getHeadFinder()

setHeadFinder

public static void setHeadFinder(HeadFinder hf)

getTreeReaderFactory

public static TreeReaderFactory getTreeReaderFactory()

setTreeReaderFactory

public static void setTreeReaderFactory(TreeReaderFactory trf)