org.rosuda.JGR.toolkit
Class JGRPrefs

java.lang.Object
  extended by 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.