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