net.sf.rej.gui.preferences
Class Preferences
java.lang.Object
net.sf.rej.gui.preferences.Preferences
public class Preferences
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Preferences
public Preferences()
load
public void load()
throws java.io.IOException,
java.lang.ClassNotFoundException
- Throws:
java.io.IOException
java.lang.ClassNotFoundException
setFile
public void setFile(java.io.File prefs)
save
public void save()
throws java.io.IOException
- Throws:
java.io.IOException
getClassPathList
public java.util.List<java.io.File> getClassPathList()
setClassPathList
public void setClassPathList(java.util.List<java.io.File> classPath)
isTabVisible
public boolean isTabVisible(Tab tab)
setTabVisibility
public void setTabVisibility(Tab tab,
boolean visible)
getSetting
public <T> T getSetting(Settings setting,
java.lang.Class<T> type)
isSettingTrue
public boolean isSettingTrue(Settings setting)
setSetting
public void setSetting(Settings setting,
java.lang.Boolean value)
invertSetting
public void invertSetting(Settings setting)