org.rosuda.JGR.toolkit
Class JGRPrefs

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

public class JGRPrefs
extends Object

JGRPrefs - preferences like fonts colors ....

Author:

Markus Helbig RoSuDa 2003 - 2005

Field Summary

static Color	BRACKETHighLight DefaultBracketHighLightColor
static MutableAttributeSet	CMD DefaultCMDSet
static Color	CMDColor DefaultCommandColor
static MutableAttributeSet	COMMENT DefaultCommentSet
static Color	COMMENTColor DefaultCommentColor
static int	DEBUG Debuglevel
static Font	DefaultFont DefaultFont
static MutableAttributeSet	DEFAULTFONT DefaultFontSet
static Color	ERRORColor DefaultErrorColor
static String	FontName DefaultFontName
static int	FontSize DefaultFontSize
static int	FontStyle DefaultFontStyle
static Color	HighLightColor DefaultHighLightColor
static boolean	isMac Is JGR running on a Mac?
static boolean	isWindows
static MutableAttributeSet	KEYWORD DefaultKEYWORDSet
static Color	KEYWORDColor DefaultKeyWordColor
static int	maxHelpTabs MaximalHelpTabs
static int	MINFONTSIZE MinimalFontSize
static MutableAttributeSet	NORMAL DefaultSet
static MutableAttributeSet	NUMBER DefaultNumberSet
static Color	NUMBERColor DefaultNumberColor
static MutableAttributeSet	OBJECT DefaultKEYWORDOBJECTSet
static Color	OBJECTColor DefaultKeyWordObjectColor
static int	prefsVersion Preference version
static String	previousPackages Packages which were installed when JGR was running the last time
static MutableAttributeSet	QUOTE DefaultQuoteSet
static Color	QUOTEColor DefaultQuoteColor
static MutableAttributeSet	RESULT DefaultResultSet
static Color	RESULTColor DefaultResultColor
static boolean	showHiddenFiles ShowHiddenFiles
static 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 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(boolean writeLibs) 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 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 Font DefaultFont

DefaultFont

HighLightColor

public static Color HighLightColor

DefaultHighLightColor

CMDColor

public static Color CMDColor

DefaultCommandColor

RESULTColor

public static Color RESULTColor

DefaultResultColor

ERRORColor

public static Color ERRORColor

DefaultErrorColor

BRACKETHighLight

public static Color BRACKETHighLight

DefaultBracketHighLightColor

DEFAULTFONT

public static MutableAttributeSet DEFAULTFONT

DefaultFontSet

SIZE

public static MutableAttributeSet SIZE

DefaultSizeSet

CMD

public static MutableAttributeSet CMD

DefaultCMDSet

RESULT

public static MutableAttributeSet RESULT

DefaultResultSet

NORMAL

public static MutableAttributeSet NORMAL

DefaultSet

NUMBER

public static MutableAttributeSet NUMBER

DefaultNumberSet

NUMBERColor

public static Color NUMBERColor

DefaultNumberColor

KEYWORD

public static MutableAttributeSet KEYWORD

DefaultKEYWORDSet

KEYWORDColor

public static Color KEYWORDColor

DefaultKeyWordColor

OBJECT

public static MutableAttributeSet OBJECT

DefaultKEYWORDOBJECTSet

OBJECTColor

public static Color OBJECTColor

DefaultKeyWordObjectColor

COMMENT

public static MutableAttributeSet COMMENT

DefaultCommentSet

COMMENTColor

public static Color COMMENTColor

DefaultCommentColor

QUOTE

public static MutableAttributeSet QUOTE

DefaultQuoteSet

QUOTEColor

public static Color QUOTEColor

DefaultQuoteColor

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 String previousPackages

Packages which were installed when JGR was running the last time

workingDirectory

public static String workingDirectory

Initial working directory

tabWidth

public static int tabWidth

Tab width

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(boolean writeLibs)

Save preferences to .JGRPrefsrc.

Parameters:

writeLibs - R_LIBS should only be saved when new packages where installed.

writeCurrentPackagesWhenExit

public static void writeCurrentPackagesWhenExit()

Save missing packages if the user likes to be reminded.