org.rosuda.JGR.toolkit
Class JGRPrefs

java.lang.Object
  org.rosuda.JGR.toolkit.JGRPrefs

public class JGRPrefs
extends java.lang.Object

JGRPrefs - preferences like fonts colors ....

Author:

Markus Helbig RoSuDa 2003 - 2005

Field Summary

static boolean	askForSavingWorkspace ask for saving workspace
static boolean	AUTOTAB Automatic tabs
static java.awt.Color	BRACKETHighLight DefaultBracketHighLightColor
static javax.swing.text.MutableAttributeSet	CMD DefaultCMDSet
static java.awt.Color	CMDColor DefaultCommandColor
static javax.swing.text.MutableAttributeSet	COMMENT DefaultCommentSet
static boolean	COMMENT_IT Default Comment italics
static java.awt.Color	COMMENTColor DefaultCommentColor
static int	consoleHeight
static int	consoleWidth Console dims
static int	DEBUG Debuglevel
static java.awt.Font	DefaultFont DefaultFont
static javax.swing.text.MutableAttributeSet	DEFAULTFONT DefaultFontSet
static java.lang.String	defaultPackages Default packages (more precisely default package + those to load on startup)
static java.awt.Color	ERRORColor DefaultErrorColor
static java.lang.String	FontName DefaultFontName
static int	FontSize DefaultFontSize
static int	FontStyle DefaultFontStyle
static java.awt.Color	HighLightColor DefaultHighLightColor
static java.awt.Color	HIGHLIGHTColor Default line HIGHLIGHTColor
static boolean	isMac Is JGR running on a Mac?
static boolean	isWindows
static javax.swing.text.MutableAttributeSet	KEYWORD DefaultKEYWORDSet
static boolean	KEYWORD_BOLD Default Keyword bolding
static java.awt.Color	KEYWORDColor DefaultKeyWordColor
static boolean	LINE_HIGHLIGHT Default Line Highlight
static boolean	LINE_NUMBERS Default Line numbering
static int	maxHelpTabs MaximalHelpTabs
static int	MINFONTSIZE MinimalFontSize
static javax.swing.text.MutableAttributeSet	NORMAL DefaultSet
static javax.swing.text.MutableAttributeSet	NUMBER DefaultNumberSet
static java.awt.Color	NUMBERColor DefaultNumberColor
static javax.swing.text.MutableAttributeSet	OBJECT DefaultKEYWORDOBJECTSet
static boolean	OBJECT_IT Default Object italics
static java.awt.Color	OBJECTColor DefaultKeyWordObjectColor
static int	prefsVersion Preference version
static java.lang.String	previousPackages Packages which were installed when JGR was running the last time
static javax.swing.text.MutableAttributeSet	QUOTE DefaultQuoteSet
static java.awt.Color	QUOTEColor DefaultQuoteColor
static javax.swing.text.MutableAttributeSet	RESULT DefaultResultSet
static java.awt.Color	RESULTColor DefaultResultColor
static boolean	showHiddenFiles ShowHiddenFiles
static javax.swing.text.MutableAttributeSet	SIZE DefaultSizeSet
static int	tabWidth Tab width
static boolean	useEmacsKeyBindings UseEmacsKeyBindings
static boolean	useHelpAgent UseHelpAgent
static boolean	useHelpAgentConsole UseHelpAgent in console
static boolean	useHelpAgentEditor UseHelpAgent in editor
static java.lang.String	workingDirectory Initial working directory

Constructor Summary

JGRPrefs()

Method Summary

static void	apply() Apply current settings to JGR.
static void	initialize() Initialize settings from .JGRPrefsrc.
static void	readPrefs() Read prefs form .JGRPrefsrc in user's home directory.
static void	refresh() Refresh current settings.
static void	writeCurrentPackagesWhenExit() Save missing packages if the user likes to be reminded.
static void	writePrefs() Save preferences to .JGRPrefsrc.

Methods inherited from class java.lang.Object

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

Field Detail

prefsVersion

public static final int prefsVersion

Preference version

See Also:

Constant Field Values

DEBUG

public static final int DEBUG

Debuglevel

See Also:

Constant Field Values

isMac

public static boolean isMac

Is JGR running on a Mac?

isWindows

public static boolean isWindows

FontName

public static java.lang.String FontName

DefaultFontName

FontStyle

public static int FontStyle

DefaultFontStyle

FontSize

public static int FontSize

DefaultFontSize

MINFONTSIZE

public static final int MINFONTSIZE

MinimalFontSize

See Also:

Constant Field Values

DefaultFont

public static java.awt.Font DefaultFont

DefaultFont

HighLightColor

public static java.awt.Color HighLightColor

DefaultHighLightColor

CMDColor

public static java.awt.Color CMDColor

DefaultCommandColor

RESULTColor

public static java.awt.Color RESULTColor

DefaultResultColor

ERRORColor

public static java.awt.Color ERRORColor

DefaultErrorColor

BRACKETHighLight

public static java.awt.Color BRACKETHighLight

DefaultBracketHighLightColor

DEFAULTFONT

public static javax.swing.text.MutableAttributeSet DEFAULTFONT

DefaultFontSet

SIZE

public static javax.swing.text.MutableAttributeSet SIZE

DefaultSizeSet

CMD

public static javax.swing.text.MutableAttributeSet CMD

DefaultCMDSet

RESULT

public static javax.swing.text.MutableAttributeSet RESULT

DefaultResultSet

NORMAL

public static javax.swing.text.MutableAttributeSet NORMAL

DefaultSet

NUMBER

public static javax.swing.text.MutableAttributeSet NUMBER

DefaultNumberSet

NUMBERColor

public static java.awt.Color NUMBERColor

DefaultNumberColor

KEYWORD

public static javax.swing.text.MutableAttributeSet KEYWORD

DefaultKEYWORDSet

KEYWORDColor

public static java.awt.Color KEYWORDColor

DefaultKeyWordColor

KEYWORD_BOLD

public static boolean KEYWORD_BOLD

Default Keyword bolding

OBJECT

public static javax.swing.text.MutableAttributeSet OBJECT

DefaultKEYWORDOBJECTSet

OBJECTColor

public static java.awt.Color OBJECTColor

DefaultKeyWordObjectColor

OBJECT_IT

public static boolean OBJECT_IT

Default Object italics

AUTOTAB

public static boolean AUTOTAB

Automatic tabs

COMMENT

public static javax.swing.text.MutableAttributeSet COMMENT

DefaultCommentSet

COMMENTColor

public static java.awt.Color COMMENTColor

DefaultCommentColor

COMMENT_IT

public static boolean COMMENT_IT

Default Comment italics

QUOTE

public static javax.swing.text.MutableAttributeSet QUOTE

DefaultQuoteSet

QUOTEColor

public static java.awt.Color QUOTEColor

DefaultQuoteColor

LINE_HIGHLIGHT

public static boolean LINE_HIGHLIGHT

Default Line Highlight

HIGHLIGHTColor

public static java.awt.Color HIGHLIGHTColor

Default line HIGHLIGHTColor

LINE_NUMBERS

public static boolean LINE_NUMBERS

Default Line numbering

maxHelpTabs

public static int maxHelpTabs

MaximalHelpTabs

useHelpAgent

public static boolean useHelpAgent

UseHelpAgent

useHelpAgentEditor

public static boolean useHelpAgentEditor

UseHelpAgent in editor

useHelpAgentConsole

public static boolean useHelpAgentConsole

UseHelpAgent in console

useEmacsKeyBindings

public static boolean useEmacsKeyBindings

UseEmacsKeyBindings

showHiddenFiles

public static boolean showHiddenFiles

ShowHiddenFiles

previousPackages

public static java.lang.String previousPackages

Packages which were installed when JGR was running the last time

workingDirectory

public static java.lang.String workingDirectory

Initial working directory

defaultPackages

public static java.lang.String defaultPackages

Default packages (more precisely default package + those to load on startup)

askForSavingWorkspace

public static boolean askForSavingWorkspace

ask for saving workspace

tabWidth

public static int tabWidth

Tab width

consoleWidth

public static int consoleWidth

Console dims

consoleHeight

public static int consoleHeight

Constructor Detail

JGRPrefs

public JGRPrefs()

Method Detail

apply

public static void apply()

Apply current settings to JGR.

initialize

public static void initialize()

Initialize settings from .JGRPrefsrc.

refresh

public static void refresh()

Refresh current settings.

readPrefs

public static void readPrefs()

Read prefs form .JGRPrefsrc in user's home directory.

writePrefs

public static void writePrefs()

Save preferences to .JGRPrefsrc.

writeCurrentPackagesWhenExit

public static void writeCurrentPackagesWhenExit()

Save missing packages if the user likes to be reminded.