phenote.config
Class Preferences

java.lang.Object
  phenote.config.Preferences

public class Preferences
extends java.lang.Object

Adapted from OBO-Edit

Field Summary

protected boolean	allowExtendedCharacters
protected static java.lang.String	appName
protected boolean	autoCommitTextEdits
protected boolean	autosaveEnabled
protected int	autosaveExpirationDays
protected java.io.File	autosavePath
protected int	autosaveWaitTime
protected java.awt.Color	backgroundColor
protected static boolean	batchMode
protected java.lang.String	browserCommand
protected java.awt.Color	buttonColor
protected boolean	caseSensitiveSort
protected boolean	confirmOnExit
protected java.lang.String	defaultDef
protected java.lang.String	email
protected java.awt.Font	font
protected java.lang.String	fullName
protected static java.io.File	installationDir
protected java.awt.Color	lightSelectionColor
protected static org.apache.log4j.Logger	LOG
protected java.lang.String	logFile
protected java.awt.Color	orange
protected static Preferences	preferences
protected java.lang.String	proxyHost
protected boolean	proxyIsSet
protected int	proxyPort
protected java.lang.String	proxyProtocol
protected java.awt.Color	purple
protected java.awt.Color	selectionColor
protected boolean	showToolTips
protected boolean	useModalProgressMonitors
protected boolean	usePersonalDefinition
protected java.lang.String	userName
protected boolean	warnBeforeDelete
protected boolean	warnBeforeDiscardingEdits

Constructor Summary

Preferences()

Method Summary

static java.awt.Color	defaultBackgroundColor()
static java.awt.Color	defaultButtonColor()
static java.awt.Color	defaultSelectionColor()
protected static void	fillInInstallationDirectory()
static java.io.File	getAllowedRepeatsFile()
boolean	getAllowExtendedCharacters()
static java.io.File	getAlwaysLowercaseFile()
static java.lang.String	getAppName()
boolean	getAutoCommitTextEdits()
boolean	getAutosaveEnabled()
int	getAutosaveExpirationDays()
java.io.File	getAutosavePath()
int	getAutosaveWaitTime()
java.awt.Color	getBackgroundColor()
java.lang.String	getBrowserCommand()
java.awt.Color	getButtonColor()
boolean	getCaseSensitiveSort()
boolean	getConfirmOnExit()
java.lang.String	getEmail()
protected static java.lang.ClassLoader	getExtensionLoader()
static java.io.File[]	getExtensionPaths()
java.awt.Font	getFont()
java.lang.String	getFullName()
static java.io.File	getInstallationDirectory() This is not how Phenote records its version (though maybe it should be)
java.awt.Color	getLightSelectionColor()
java.lang.String	getLogfile()
static java.io.File	getPeriodWordsFile()
java.lang.String	getPersonalDefinition()
static Preferences	getPreferences()
static java.io.File	getPrefsDir()
static java.util.List<java.lang.String>	getPrefsFilenames()
static java.io.File	getPrefsXMLFile()
java.lang.String	getProxyHost()
boolean	getProxyIsSet()
int	getProxyPort()
java.lang.String	getProxyProtocol()
java.awt.Color	getSelectionColor()
boolean	getShowToolTips()
static java.io.File	getStandardDictionaryFile()
static java.util.List<java.lang.String>	getSystemDictFilenames()
boolean	getUseModalProgressMonitors()
boolean	getUsePersonalDefinition()
static java.io.File	getUserDefDictionaryFile()
java.lang.String	getUserName()
boolean	getWarnBeforeDelete()
boolean	getWarnBeforeDiscardingEdits()
static boolean	isBatchMode()
static java.awt.Color	lightSelectionColor()
void	setAllowExtendedCharacters(boolean allowExtendedCharacters)
static void	setAppName(java.lang.String app)
void	setAutoCommitTextEdits(boolean autoCommitTextEdits)
void	setAutosaveEnabled(boolean autosaveEnabled)
void	setAutosaveExpirationDays(int autosaveExpirationDays)
void	setAutosavePath(java.io.File autosavePath)
void	setAutosaveWaitTime(int autosaveWaitTime)
void	setBackgroundColor(java.awt.Color backgroundColor)
static void	setBatchMode(boolean batch)
void	setBrowserCommand(java.lang.String browserCommand)
void	setButtonColor(java.awt.Color buttonColor)
void	setCaseSensitiveSort(boolean caseSensitiveSort)
void	setConfirmOnExit(boolean confirmOnExit)
void	setEmail(java.lang.String email)
void	setFont(java.awt.Font font)
void	setFullName(java.lang.String fullName)
void	setLightSelectionColor(java.awt.Color lightSelectionColor)
void	setLogfile(java.lang.String lf)
void	setPersonalDefinition(java.lang.String defaultDef)
void	setProxyHost(java.lang.String proxyHost)
void	setProxyIsSet(boolean proxyIsSet)
void	setProxyPort(int proxyPort)
void	setProxyProtocol(java.lang.String protocol)
void	setSelectionColor(java.awt.Color selectionColor)
void	setShowToolTips(boolean showToolTips)
void	setUseModalProgressMonitors(boolean useModalProgressMonitors)
void	setUsePersonalDefinition(boolean usePersonalDefinition)
void	setUserName(java.lang.String userName)
void	setWarnBeforeDelete(boolean warnBeforeDelete)
void	setWarnBeforeDiscardingEdits(boolean warnBeforeDiscardingEdits)
static void	writePreferences(Preferences preferences)

Methods inherited from class java.lang.Object

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

Field Detail

LOG

protected static final org.apache.log4j.Logger LOG

font

protected java.awt.Font font

backgroundColor

protected java.awt.Color backgroundColor

buttonColor

protected java.awt.Color buttonColor

selectionColor

protected java.awt.Color selectionColor

lightSelectionColor

protected java.awt.Color lightSelectionColor

orange

protected java.awt.Color orange

purple

protected java.awt.Color purple

confirmOnExit

protected boolean confirmOnExit

autosaveEnabled

protected boolean autosaveEnabled

caseSensitiveSort

protected boolean caseSensitiveSort

showToolTips

protected boolean showToolTips

warnBeforeDelete

protected boolean warnBeforeDelete

allowExtendedCharacters

protected boolean allowExtendedCharacters

browserCommand

protected java.lang.String browserCommand

userName

protected java.lang.String userName

fullName

protected java.lang.String fullName

email

protected java.lang.String email

autosaveWaitTime

protected int autosaveWaitTime

autosaveExpirationDays

protected int autosaveExpirationDays

autoCommitTextEdits

protected boolean autoCommitTextEdits

warnBeforeDiscardingEdits

protected boolean warnBeforeDiscardingEdits

defaultDef

protected java.lang.String defaultDef

usePersonalDefinition

protected boolean usePersonalDefinition

useModalProgressMonitors

protected boolean useModalProgressMonitors

appName

protected static java.lang.String appName

batchMode

protected static boolean batchMode

installationDir

protected static java.io.File installationDir

autosavePath

protected java.io.File autosavePath

logFile

protected java.lang.String logFile

proxyIsSet

protected boolean proxyIsSet

proxyHost

protected java.lang.String proxyHost

proxyPort

protected int proxyPort

proxyProtocol

protected java.lang.String proxyProtocol

preferences

protected static Preferences preferences

Constructor Detail

Preferences

public Preferences()

Method Detail

getPreferences

public static Preferences getPreferences()

getPrefsDir

public static java.io.File getPrefsDir()

getStandardDictionaryFile

public static java.io.File getStandardDictionaryFile()

getUserDefDictionaryFile

public static java.io.File getUserDefDictionaryFile()

getPeriodWordsFile

public static java.io.File getPeriodWordsFile()

getAlwaysLowercaseFile

public static java.io.File getAlwaysLowercaseFile()

getAllowedRepeatsFile

public static java.io.File getAllowedRepeatsFile()

getAutoCommitTextEdits

public boolean getAutoCommitTextEdits()

setAutoCommitTextEdits

public void setAutoCommitTextEdits(boolean autoCommitTextEdits)

getWarnBeforeDiscardingEdits

public boolean getWarnBeforeDiscardingEdits()

setWarnBeforeDiscardingEdits

public void setWarnBeforeDiscardingEdits(boolean warnBeforeDiscardingEdits)

setAllowExtendedCharacters

public void setAllowExtendedCharacters(boolean allowExtendedCharacters)

getAllowExtendedCharacters

public boolean getAllowExtendedCharacters()

setWarnBeforeDelete

public void setWarnBeforeDelete(boolean warnBeforeDelete)

getWarnBeforeDelete

public boolean getWarnBeforeDelete()

setShowToolTips

public void setShowToolTips(boolean showToolTips)

getShowToolTips

public boolean getShowToolTips()

setCaseSensitiveSort

public void setCaseSensitiveSort(boolean caseSensitiveSort)

getCaseSensitiveSort

public boolean getCaseSensitiveSort()

setAutosaveExpirationDays

public void setAutosaveExpirationDays(int autosaveExpirationDays)

getAutosaveExpirationDays

public int getAutosaveExpirationDays()

setAutosaveWaitTime

public void setAutosaveWaitTime(int autosaveWaitTime)

getAutosaveWaitTime

public int getAutosaveWaitTime()

setAutosaveEnabled

public void setAutosaveEnabled(boolean autosaveEnabled)

getAutosaveEnabled

public boolean getAutosaveEnabled()

getAutosavePath

public java.io.File getAutosavePath()

setAutosavePath

public void setAutosavePath(java.io.File autosavePath)

setEmail

public void setEmail(java.lang.String email)

getEmail

public java.lang.String getEmail()

setFullName

public void setFullName(java.lang.String fullName)

getFullName

public java.lang.String getFullName()

setUserName

public void setUserName(java.lang.String userName)

getUserName

public java.lang.String getUserName()

setBrowserCommand

public void setBrowserCommand(java.lang.String browserCommand)

getBrowserCommand

public java.lang.String getBrowserCommand()

getExtensionLoader

protected static java.lang.ClassLoader getExtensionLoader()

getExtensionPaths

public static java.io.File[] getExtensionPaths()

getConfirmOnExit

public boolean getConfirmOnExit()

setConfirmOnExit

public void setConfirmOnExit(boolean confirmOnExit)

getLightSelectionColor

public java.awt.Color getLightSelectionColor()

setLightSelectionColor

public void setLightSelectionColor(java.awt.Color lightSelectionColor)

getSelectionColor

public java.awt.Color getSelectionColor()

setSelectionColor

public void setSelectionColor(java.awt.Color selectionColor)

setButtonColor

public void setButtonColor(java.awt.Color buttonColor)

getButtonColor

public java.awt.Color getButtonColor()

getBackgroundColor

public java.awt.Color getBackgroundColor()

setBackgroundColor

public void setBackgroundColor(java.awt.Color backgroundColor)

getPersonalDefinition

public java.lang.String getPersonalDefinition()

setPersonalDefinition

public void setPersonalDefinition(java.lang.String defaultDef)

getUsePersonalDefinition

public boolean getUsePersonalDefinition()

setUsePersonalDefinition

public void setUsePersonalDefinition(boolean usePersonalDefinition)

getFont

public java.awt.Font getFont()

setFont

public void setFont(java.awt.Font font)

getAppName

public static java.lang.String getAppName()

setAppName

public static void setAppName(java.lang.String app)

isBatchMode

public static boolean isBatchMode()

setBatchMode

public static void setBatchMode(boolean batch)

writePreferences

public static void writePreferences(Preferences preferences)
                             throws java.io.IOException

Throws:

java.io.IOException

fillInInstallationDirectory

protected static void fillInInstallationDirectory()

getInstallationDirectory

public static java.io.File getInstallationDirectory()

This is not how Phenote records its version (though maybe it should be)

getPrefsXMLFile

public static java.io.File getPrefsXMLFile()

setLogfile

public void setLogfile(java.lang.String lf)

getLogfile

public java.lang.String getLogfile()

getSystemDictFilenames

public static java.util.List<java.lang.String> getSystemDictFilenames()

getPrefsFilenames

public static java.util.List<java.lang.String> getPrefsFilenames()

lightSelectionColor

public static java.awt.Color lightSelectionColor()

defaultSelectionColor

public static java.awt.Color defaultSelectionColor()

defaultBackgroundColor

public static java.awt.Color defaultBackgroundColor()

defaultButtonColor

public static java.awt.Color defaultButtonColor()

getUseModalProgressMonitors

public boolean getUseModalProgressMonitors()

setUseModalProgressMonitors

public void setUseModalProgressMonitors(boolean useModalProgressMonitors)

getProxyIsSet

public boolean getProxyIsSet()

getProxyHost

public java.lang.String getProxyHost()

getProxyPort

public int getProxyPort()

getProxyProtocol

public java.lang.String getProxyProtocol()

setProxyHost

public void setProxyHost(java.lang.String proxyHost)

setProxyPort

public void setProxyPort(int proxyPort)

setProxyIsSet

public void setProxyIsSet(boolean proxyIsSet)

setProxyProtocol

public void setProxyProtocol(java.lang.String protocol)