edu.utep.cs.jet.gui.editor
Class Preference

java.lang.Object
  edu.utep.cs.jet.gui.Preference
      edu.utep.cs.jet.gui.editor.Preference

All Implemented Interfaces:

Constants

public abstract class Preference
extends Preference

A utility class to store various user options for the editor.

Author:

Yoonsik Cheon

Field Summary

Fields inherited from class edu.utep.cs.jet.gui.Preference

userPrefs

Fields inherited from interface edu.utep.cs.jet.gui.Constants

CLASS_EXTENSION, COLOR_EXPLORER, COLOR_OUTPUT, COPYRIGHT, DEBUG, DIVIDER_SIZE, EDIT_MENU_NAME, EXPLORER_DIR, EXPLORER_ROOT, FILE_MENU_NAME, HELP_MENU_NAME, ICON_ABOUT, ICON_ABSTRACT_CLASS, ICON_BROWSER, ICON_CLASS, ICON_CLASS_DISABLED, ICON_DELETE, ICON_ERROR, ICON_FILE, ICON_FOLDER, ICON_GEN_APP, ICON_HOME, ICON_INFORM, ICON_INTERFACE, ICON_JAVA_FILE, ICON_JML_LOGO, ICON_METHOD, ICON_METHOD_GREEN, ICON_METHOD_ORANGE, ICON_METHOD_RED, ICON_MINER, ICON_NEW, ICON_NEWTESTSUITE, ICON_NOTE, ICON_OPEN, ICON_OUTPUT, ICON_PREFERENCES, ICON_QUESTION, ICON_REDO, ICON_SAVE_AS, ICON_TEST_FILE, ICON_UNDO, ICON_UNKOWN, ICON_WARN, JAVA, JAVA_EXTENSION, JAVAC, JUNIT_SWINGGUI_TESTRUNNER, NEWLINE, OPTION_MENU_NAME, TEST_MENU_NAME, TITLE, TOOL_MENU_NAME, VERSION, WEB_PAGE_LOCATION, WEB_PAGE_NAME, WINDOW_HEIGHT, WINDOW_MIN_HEIGHT, WINDOW_MIN_WIDTH, WINDOW_WIDTH

Constructor Summary

Preference()

Method Summary

static void	copyEditorStylesTo(SyntaxStyle[] styles) Copies the editor's style to the argument.
static Color	getEditorBackground() Returns the editor's background color.
static Font	getEditorFont() Returns the font to be used by the editor.
static String	getEditorFontName() Returns the font to be used by the editor.
static int	getEditorFontSize() Returns the editor's font size.
static Color	getEditorForeground() Returns the editor's foreground color.
static int	getEditorTabSize() Returns the number of test attempts.
static void	setEditorBackground(Color color) Returns the editor's background color.
static void	setEditorFontName(String att) Sets the font to be used by the editor.
static void	setEditorFontSize(String att) Sets the editor's font size.
static void	setEditorForeground(Color color) Returns the editor's foreground color.
static void	setEditorStyles(SyntaxStyle[] styles) Returns the editor's style.
static void	setEditorTabSize(String att) Sets the maximum size of the object pool.

Methods inherited from class edu.utep.cs.jet.gui.Preference

getBackground, getBanner, getClasspath, getJava, getJavaCompiler, getRawClasspath, getRoot, getTheme, parseInt, parseNonNegativeInt, parsePositiveInt, setBackground, setBanner, setJava, setJavaCompiler, setRawClasspath, setRoot, setTheme

Methods inherited from class java.lang.Object

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

Constructor Detail

Preference

public Preference()

Method Detail

getEditorTabSize

public static int getEditorTabSize()

Returns the number of test attempts.

setEditorTabSize

public static void setEditorTabSize(String att)

Sets the maximum size of the object pool.

getEditorFont

public static Font getEditorFont()

Returns the font to be used by the editor.

getEditorFontName

public static String getEditorFontName()

Returns the font to be used by the editor.

setEditorFontName

public static void setEditorFontName(String att)

Sets the font to be used by the editor.

getEditorFontSize

public static int getEditorFontSize()

Returns the editor's font size.

setEditorFontSize

public static void setEditorFontSize(String att)

Sets the editor's font size.

setEditorForeground

public static void setEditorForeground(Color color)

Returns the editor's foreground color.

setEditorBackground

public static void setEditorBackground(Color color)

Returns the editor's background color.

getEditorBackground

public static Color getEditorBackground()

Returns the editor's background color.

getEditorForeground

public static Color getEditorForeground()

Returns the editor's foreground color.

setEditorStyles

public static void setEditorStyles(SyntaxStyle[] styles)

Returns the editor's style.

copyEditorStylesTo

public static void copyEditorStylesTo(SyntaxStyle[] styles)

Copies the editor's style to the argument.