org.processmining.framework.ui
Class UISettings
java.lang.Object
org.processmining.framework.ui.UISettings
public class UISettings
- extends java.lang.Object
Saves and loads UI settings from an .ini file.
- Version:
- 1.0
- Author:
- Peter van den Brand
Field Summary |
static java.lang.String |
LOGTYPE
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOGTYPE
public static final java.lang.String LOGTYPE
- See Also:
- Constant Field Values
getExecutionLogFileName
public java.lang.String getExecutionLogFileName()
getLastOpenedLogFile
public java.lang.String getLastOpenedLogFile()
getLastOpenedImportFile
public java.lang.String getLastOpenedImportFile()
setLastOpenedLogFile
public void setLastOpenedLogFile(java.lang.String name)
setLastOpenedImportFile
public void setLastOpenedImportFile(java.lang.String name)
getLastUsedAlgorithm
public java.lang.String getLastUsedAlgorithm()
setLastUsedAlgorithm
public void setLastUsedAlgorithm(java.lang.String name)
getLastUsedAnalysis
public java.lang.String getLastUsedAnalysis()
getLastUsedConversion
public java.lang.String getLastUsedConversion()
getLastExecutionID
public java.lang.String getLastExecutionID()
getKeepHistory
public boolean getKeepHistory()
getTest
public boolean getTest()
getBackgroundRefreshRate
public int getBackgroundRefreshRate()
setLastUsedAnalysis
public void setLastUsedAnalysis(java.lang.String name)
setLastUsedConversion
public void setLastUsedConversion(java.lang.String name)
setLastExecutionID
public void setLastExecutionID(java.lang.String name)
setKeepHistory
public void setKeepHistory(boolean keepHistory)
setPreferredLogReader
public void setPreferredLogReader(java.lang.String logReaderId)
getPreferredLogReader
public java.lang.String getPreferredLogReader()
setPreferredIconTheme
public void setPreferredIconTheme(java.lang.String iconThemePath)
getPreferredIconTheme
public java.lang.String getPreferredIconTheme()
setCustomDotLocation
public void setCustomDotLocation(java.lang.String dotLocation)
getCustomDotLocation
public java.lang.String getCustomDotLocation()
getCustomDotExecutable
public java.io.File getCustomDotExecutable()
getInstance
public static UISettings getInstance()
getRecentFiles
public java.util.ArrayList getRecentFiles()
recentFileExists
protected boolean recentFileExists(java.lang.String fileName)
addRecentFile
public void addRecentFile(java.lang.String file,
java.lang.String algorithm)
save
public void save()