edu.umich.visualsoar.misc
Class Preferences
java.lang.Object
|
+--edu.umich.visualsoar.misc.Preferences
- public class Preferences
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
self
static edu.umich.visualsoar.misc.Preferences self
prefFile
private java.io.File prefFile
templateFolder
private java.io.File templateFolder
openFolder
private java.io.File openFolder
autoTileEnabled
private boolean autoTileEnabled
horizTile
private boolean horizTile
highlightingEnabled
private boolean highlightingEnabled
autoIndentingEnabled
private boolean autoIndentingEnabled
syntaxColors
private edu.umich.visualsoar.misc.SyntaxColor[] syntaxColors
sharedProjectFile
private java.io.File sharedProjectFile
sharedProjectEnabled
private boolean sharedProjectEnabled
userName
private java.lang.String userName
Preferences
private Preferences()
getSyntaxColors
public edu.umich.visualsoar.misc.SyntaxColor[] getSyntaxColors()
setSyntaxColors
public void setSyntaxColors(edu.umich.visualsoar.misc.SyntaxColor[] inSyntaxColors)
isHighlightingEnabled
public boolean isHighlightingEnabled()
setHighlightingEnabled
public void setHighlightingEnabled(boolean isEnabled)
isHorizontalTilingEnabled
public boolean isHorizontalTilingEnabled()
setHorizontalTilingEnabled
public void setHorizontalTilingEnabled(boolean isEnabled)
isAutoTilingEnabled
public boolean isAutoTilingEnabled()
setAutoTilingEnabled
public void setAutoTilingEnabled(boolean isEnabled)
isAutoIndentingEnabled
public boolean isAutoIndentingEnabled()
setAutoIndentingEnabled
public void setAutoIndentingEnabled(boolean isEnabled)
getTemplateFolder
public java.io.File getTemplateFolder()
setTemplateFolder
public void setTemplateFolder(java.io.File inTemplateFolder)
getOpenFolder
public java.io.File getOpenFolder()
setOpenFolder
public void setOpenFolder(java.io.File inOpenFolder)
setSharedProjectFile
public void setSharedProjectFile(java.io.File projectFile)
getSharedProjectFile
public java.io.File getSharedProjectFile()
setSharedProjectEnabled
public void setSharedProjectEnabled(boolean isEnabled)
isSharedProjectEnabled
public boolean isSharedProjectEnabled()
getUserName
public java.lang.String getUserName()
setUserName
public void setUserName(java.lang.String name)
write
public void write()
- Writes back the preferences to the file
getInstance
public static edu.umich.visualsoar.misc.Preferences getInstance()
setDefaultPreferences
void setDefaultPreferences()
- In case of IO failure during construction, a way to fall back on a
complete set of functional preferences
getDefaultTemplateFolder
java.io.File getDefaultTemplateFolder()
getDefaultOpenDirectory
java.io.File getDefaultOpenDirectory()
getDefaultSyntaxColors
edu.umich.visualsoar.misc.SyntaxColor[] getDefaultSyntaxColors()